Johannes Schindelin <johannes.schinde...@gmx.de> writes: > AFAIR Junio does not push to github.com/git/git, it is an automatic > mirror. > > GitLab could easily do the same.
It used to be in the early days but these days git/git and gitster/git are updated in a same for loop that pushes to various destinations. You are correct that GitLab or any other hosting sites could do the same polling and mirroring. I am just too lazy to open a new account at yet another hosting site to add that for loop, but I may choose to when I am absolutely bored and nothing else to do ;-).
