Re: [O] Proper git settings to stay with master?

[Achim Gratz]

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 :-)