#Git
Did you know that you can set 2 or more remotes with the same alias and so push to both (or more) of them at the same time when doing a git push?

That way you can push to gitlab, gitea and github in a single command

took me way, waaay to long to realize.