Push to multiple origins at once in Git

note, May 6, 2023, on Mitja Felicijan's blog

Sometimes you want to push to multiple origins at once. This is useful if you have a mirror of your repository on another server. You can do this by adding multiple push urls to your git config. This is a shorthand for command above.

git config --global alias.pushall '!sh -c "git remote | xargs -L1 git push --all"'

Other notes

DateTitle
Making cgit look nicer
Write and read structs to/from files in Cc
Make B/W SVG charts with matplotlib
Compile drawterm on Fedora 38plan9
#cat-v on weechat configuration
10/GUI 10 Finger Multitouch User Interface
Grep to Less that maintain colors
Embedding resources into binary with Cc
Easy measure time took in a bash script
Male and female body proportion reference images3d
Aerial photography of algae spotted on river Sava
Fix screen tearing on Debian 12 Xorg and i3
Fix bootloader not being written in Plan9plan9
Personal sane Vim defaultsvim
60's IBM Computers Commercial