code.mathr.co.uk git branch renaming
on server:
```
cd code.mathr.co.uk
for d in */
do
pushd "$d"
git branch -m master main
popd
done
```
on clients:
```
cd code.mathr.co.uk
for d in */
do
pushd "$d"
git pull
git checkout main
popd
done
```
Be sure to check output for failures in case of uncommited changes etc; on my desktop I need to investigate 6 of 144 directories further.
Follow
code.mathr.co.uk git branch renaming
Someone emailed me a problem with one repository: turned out to be all of them that I had not since pushed to! Oops... Solution: run `./hooks/post-update` in each repository on the server, to update the refs for dumb HTTP(S) clones. git client error messsage was:
```
warning: remote HEAD refers to nonexistent ref, unable to checkout.
```
