I push to a couple places that have a main git server that everyone pushes to/through and then that somehow pushes everywhere else. post-receive hook[1] can be

I push to a couple places that have a main git server that everyone pushes to/through and then that somehow pushes everywhere else. post-receive hook[1] can be used to automate that, [1] https://git-scm.com/book/en/v2/Customizing-Git-Git-Hooks#_post_receive https://git-scm.com/book/en/v2/Customizing-Git-Git-Hooks#_po...