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

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
> 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.).