Re:What comes after Git?
by u801e on Saturday January 09, 2021 @02:35AM
(#25698389)
It depends on whether the histories have diverged and how many conflicts there are. A lot of people aren't very proficient with the use of git and will have problems (e.g., running git pull) and creating a merge commit in their branch or having conflicts they need to resolve.
The next time they open a PR using that branch, it will have commits that will clutter the branch.
The next time they open a PR using that branch, it will have commits that will clutter the branch.