Subject: Re: [boost] [GitHub] [PR] setting default branch to 'develop'
From: Michel Morin (mimomorin_at_[hidden])
Date: 2015-10-27 23:20:20
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
?
(You need to set USERNAME and PASSWORD in some way before using the command.)
Regards,
Michel