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

Date	Title
2023-08-01	Make B/W SVG charts with matplotlib
2023-06-25	Development environments with Nix
2023-05-27	Cronjobs on Github with Github Actions
2023-05-15	Previews how man page written in Troff will look like
2022-08-13	Aerial photography of algae spotted on river Sava
2023-07-10	Fix screen tearing on Debian 12 Xorg and i3
2023-05-05	Run 9front in Qemu	plan9
2023-05-12	Install Plan9port on Linux	plan9
2023-05-23	Parse RSS feeds with Lua
2023-06-01	Edsger W. Dijkstra Manuscripts ebook
2023-05-06	Push to multiple origins at once in Git
2023-06-25	Alacritty open links with modifier
2023-05-23	Extend Lua with custom C functions using Clang	c
2023-05-31	Extending dte editor
2023-05-27	Make DCSS playable on 4k displays	dcss