In order to sync your local repos, for all collecting_society_* repos (+archiving, +portal) enter these commands to rename the current dev branch (form 'develop' to 'development'):
git branch -m develop development # <-- note: old name 'develop' may vary for certain repos
git fetch origin
git branch -u origin/development development
git remote set-head origin -a
Check that the repo actually was on branch 'develop'. The default branch of collecting_society_worker was actually 'master'. See https://github.com/C3S to see the changes.
This is the complete list of affected repos:
echoprint-server is currently not affected to maintain the branches before the fork from Spotify.
Note that there has also been some renaming of scripts and config files.
A container rebuild is highly recommended.
If you run into any trouble, reach out to Alex or Thomas.