Am 22.12.2016 um 17:44 schrieb John Hendy:
$ git pull From http://orgmode.org/org-mode 13751c3249..820d1eb617 maint -> origin/maint 7fd61c4f92..1c89082600 master -> origin/master You are not currently on a branch.
Well, then you want to do a git checkout master or git checkout maint depending on which branch you want to be on.
Have I botched something? If so, what would be the method to remedy? If not, what should be updated in the instructions regarding sticking with master? I see references on how to specify maint, but that seems to imply that master is the default and action is only required to override to use maint branch.
Master _is_ the default, so you must have specifically checked out a commit not at the branch HEAD or left a bisect or similar command that replays history hanging unfinished somewhere.
-- Achim. (on the road :-)