how to make public git repository on git.ligo.org