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-28 08:32:55

Vladimir Prus wrote:
> I have ran the above, with some quoting fixes:

Great!
Thanks for doing this and fixing incorrect quoting.

> https://raw.githubusercontent.com/boostorg/boost/master/.gitmodules | awk -F
[...]
> This has updated every repo that is included in master.

Oops, I forgot to change 'master' to 'develop' in the URL...

Regards,
Michel