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
Simple presentations with Markdown
Compile drawterm on Fedora 38plan9
Sane default for Dungeon Crawl Stone Soup Online editiondcss
Bulk thumbnails
Alacritty open links with modifier
Using ffmpeg to combine videos side by side
Online radio streaming with MPV from terminal
Take a screenshot in Plan9plan9
Convert all MKV files into other formats
Fix bootloader not being written in Plan9plan9
Edsger W. Dijkstra Manuscripts ebook
Making cgit look nicer
Personal sane Vim defaultsvim
Cronjobs on Github with Github Actions
Make B/W SVG charts with matplotlib