ACTION-819: set up mirroring of git repos

set up mirroring of git repos

Peter Linss
Due on:
July 4, 2013
Created on:
May 31, 2013
Related emails:
No related emails

Related notes:

Repos are mirrored at (and, capturing issue state is pending

Peter Linss, 23 Jul 2014, 13:46:02

Display change log.

Tim Berners-Lee <>, Peter Linss <>, Daniel Appelquist <>, Chairs, Yves Lafon <>, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <>.
$Id: 819.html,v 1.1 2019/11/04 16:17:16 carcone Exp $