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

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