[on GitHub](https://github.com/RalfJung/git-mirror)). Guess what, the
two are synced with this tool ;-) . They are provided under a
[2-clause BSD
[on GitHub](https://github.com/RalfJung/git-mirror)). Guess what, the
two are synced with this tool ;-) . They are provided under a
[2-clause BSD