chiark / gitweb /
Merge branch 'feature/git-mirroring' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Fri, 17 Feb 2017 15:26:15 +0000 (15:26 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Fri, 17 Feb 2017 15:26:15 +0000 (15:26 +0000)
Add git repo mirroring

Closes #235

See merge request !206


Trivial merge