Boost logo

Boost :

Subject: Re: [boost] [GitHub] [PR] setting default branch to 'develop'
From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2015-10-28 06:06:09

On 10/28/2015 12:50 PM, Vladimir Prus wrote:
> On 28-Oct-15 6:20 AM, 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
>> \
>> | awk -F '"' '{print $2}')
>> for REPO in $REPOLIST; do
>> curl --user $USERNAME:$PASSWORD \
>> --data '{"name": $REPO, "default_branch":"develop"}' \
>> done
>> ?
>> (You need to set USERNAME and PASSWORD in some way before using the
>> command.)
> I have ran the above, with some quoting fixes:
> REPOLIST=$(curl
> |
> awk -F '"' '{print $2}')
> for REPO in $REPOLIST; do curl -H "Authorization: token <redacted>"
> --data "{\"name\": \"$REPO\", \"default_branch\": \"develop\"}"
>$REPO; done
> This has updated every repo that is included in master. I've updated
> hana by hand.
> Is this fine with everybody?

I think it should be run on develop since we have submodules that only
exist on develop and not master.

I think there's one consequence of this change that has not been
mentioned in the discussion. When checking out libraries from git people
will get develop branch by default and not master. This is fine if the
checkout is done for development, which is the most likely the case, but
may be a surprise to some who expect to get master by default.

Personally, I'm ok with this change.

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