On 6/30/15 11:07 PM, Alvaro Herrera wrote:
> However, I'm not sure that it makes a
> lot of sense to branch "master" from REL9_5_STABLE.
Why not?
> I think it might be useful to offer a way to change the default branch
> using the web interface. Let me ask the sysadmin dudes. What would be
> the git command to change the default branch?
https://stackoverflow.com/questions/3301956/git-correct-way-to-change-active-branch-in-a-bare-repository