Boost logo

Boost :

Subject: Re: [boost] [GitHub] [PR] setting default branch to 'develop'
From: Daniel James (dnljms_at_[hidden])
Date: 2015-10-28 05:49:31

On 28 October 2015 at 03:20, Michel Morin <mimomorin_at_[hidden]> wrote:
> Beman Dawes wrote:
>> Is it possible to write a curl script that could make the change for all
>> libraries?
> Like this
> REPOLIST=$(curl
> \
> | awk -F '"' '{print $2}')
> for REPO in $REPOLIST; do
> curl --user $USERNAME:$PASSWORD \
> --data '{"name": $REPO, "default_branch":"develop"}' \
> 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.).

Boost list run by bdawes at, gregod at, cpdaniel at, john at