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

On 28 October 2015 at 03:20, Michel Morin wrote:

Beman Dawes wrote:

...

Is it possible to write a curl script that could make the change for all libraries?

Like this

REPOLIST=$(curl https://raw.githubusercontent.com/boostorg/boost/master/.gitmodules \ | awk -F '"' '{print $2}') for REPO in $REPOLIST; do curl --user $USERNAME:$PASSWORD \ --data '{"name": $REPO, "default_branch":"develop"}' \ https://api.github.com/repos/boostorg/$REPO done

There are several modules that will miss. I can write a more thorough script tonight if wanted - I've got most of the required mechanisms implemented already (for the commit-bot, doc build etc.).