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

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