but they use git as well, so you could easily set up a mirror on github.