Closed richardjgowers closed 8 years ago
I rebased against 2016 and fixed the spelling and selection errors. Lets see why this still doesn't want to merge cleanly.
Ok don't know what githubs deal is this merges cleanly on the command line.
Then by all means merge locally and then push. (Typically, GitHub automatically closes the PR but if not, do it manually).
rebased against current 2016 branch and now it works. Great.
Does this cover enough basic usage or have I missed something obvious?
I'll check through the tutorials later I guess to see