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
Calling assembly functions from Cc
Make B/W SVG charts with matplotlib
Make DCSS playable on 4k displaysdcss
Fix bootloader not being written in Plan9plan9
Lua performance in different environments
Fix screen tearing on Debian 12 Xorg and i3
Execute not blocking async shell command in C#
Cronjobs on Github with Github Actions
Display xterm color palette
Minimal desktop setup with cwm and conky
60's IBM Computers Commercial
AWS EB PyYAML fix
Convert all MKV files into other formats
Male and female body proportion reference images3d
Alacritty open links with modifier