I am using the GitHub web site to submit a pull request (e.g. development-Feature -> development). There are some cases where there is a conflict and it tell me that it can't automatically merge and to run the following command:
git checkout development
git merge development-Feature
git push origin development
When I run this command locally I get:
merge made by the 'recursive' strategy
Locally it does NOT have any conflicts (it automatically merged my conflicting files).
My question is, does GitHub (the web site) check for ANY conflicts (even if they can be auto merged) and just give up if there are any? I tried to find out what commands GitHub uses when doing a pull request but I can't seem to find it.
Thanks,