RE/pinboard
gitosis: how to add new repository