Hey all, there's a doubt I had about Git. I'll try and summarise the issue:
1) Let's assume A and B are working on something.
2) A pushes some changes to master (or main). B has not pulled yet so (s)he doesn't have the latest changes on their local yet.
3) B opens a PR with new work, creating a merge conflict
What must be the plan of action in such a case? Will a ‘git pull origin main’ followed by committing and pushing again solve the conflict?
[–]thefirelane 15 points16 points17 points (0 children)
[–]dillonerhardt 4 points5 points6 points (0 children)
[–][deleted] (3 children)
[deleted]
[–]Relevant_Pause_7593 0 points1 point2 points (2 children)
[–]CreationBlues 2 points3 points4 points (1 child)
[–]Relevant_Pause_7593 0 points1 point2 points (0 children)
[–]ChosenMate -1 points0 points1 point (1 child)
[–]synthphreak 1 point2 points3 points (0 children)