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

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