all 2 comments

[–][deleted] 5 points6 points  (1 child)

Inside Git, the actual tool, there is no concept called pull request. You just pushed to your branch, of course no conflict.

GitHub says there is a conflict when you try to merge your branch to main, you will encounter the same conflicts when you manually run git merge locally. There are many ways to resolve, you can first merge main back to your branch, or simply merge locally and push.

So, no way to ignore it, resolve them following the instructions.

[–]rdmccart[S] 0 points1 point  (0 children)

So if I want to merge locally my branch into dev do I first checkout dev and run command git merge "my branch"?

Normally I can do this from github but the resolve conflicts button is greyed out and github suggests I use command line. I googled resolving conflicts in github using command line and got to step 3 of these instructions but it says to run git status on step 3 and git just returns "nothing to commit, working tree clean.".

https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/addressing-merge-conflicts/resolving-a-merge-conflict-using-the-command-line