8:04:27phoeShinmera: do you have any solution for keeping different Git repos in sync with each other?
8:05:25phoeI'm thinking of a bot that periodically fetches the repository from a host that I designate as master and then forcepushes it to all other locations designated as mirrors.
13:59:45Shinmeraphoe: Between my own machines I just use https://plaster.tymoon.eu/view/650