+ [9 years ago] technicalpickles `git merge` only touches your local checkout. you'd need to `git push` to send it to github
+ [9 years ago] archheretic thanks for the help, that was indeed the last missing part :)

message no. 116053

Posted by jetole in #github at 2015-10-14T01:37:57Z

Another dev said he was seamlessly able to add a README.md
+ [9 years ago] solatis ok, so, if I want to refer from a commit to an issue in a *parent* repo (as in, the repo i forked to fix the issue), i can just use #123 issue number, right ?
+ [9 years ago] plsk Hi. I am having a merge conflict when I create a pull request in the Web UI, but not when doing it on the command line. Is this a known issue?
+ [9 years ago] plsk The change is just a VERSION file, bumping it.
+ [9 years ago] tobiasvl plsk: merge conflict when CREATING a pull request?
+ [9 years ago] tobiasvl how do you create it on the command line? what tool do you use?