push.fish

#!/usr/bin/env fish

git push origin
git push origin --tags

git push git@git.sr.ht:~aramis/dedris.nojs.de
git push git@git.sr.ht:~aramis/dedris.nojs.de --tags

git push git@github.com:aramiscd/dedris.nojs.de
git push git@github.com:aramiscd/dedris.nojs.de --tags