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)
commit7fdf35014faebf913ffa9a3d569b3d62ca19edd6
tree2373b74c71a7dd2d8d241d15e8a5657876f22b42
parentfc433c803b71edff89ce090bcdc7c9e326c355d5
parent5a9bcfbbf4568b8314abf6b47d76cdc0f8900013
Merge branch 'feature/git-mirroring' into 'master'

Add git repo mirroring

Closes #235

See merge request !206