Re: [boost] [GitHub] [PR] setting default branch to 'develop'

Subject: Re: [boost] [GitHub] [PR] setting default branch to 'develop'
From: Michel Morin (mimomorin_at_[hidden])
Date: 2015-10-27 23:57:31

Robert Ramey wrote:
>> To change the default branch, it takes just a few clicks on web browser:
>>    https://help.github.com/articles/setting-the-default-branch/
>>
>> Thoughts?
>
>
> I tried to do this - but I don't have a settings icon on my github page

Hmm, that means you have write access to the repo but don't have admin access.
I guess there are admin or owner teams for 'boostorg' organization that have
permissions to change the default repository.

Regards,
Michel