[Nagiosplug-devel] [HEADS UP] Git repositories moved to SourceForge

Holger Weiß holger at CIS.FU-Berlin.DE
Fri Nov 6 12:45:20 CET 2009


I moved our Git repositories from repo.or.cz to SourceForge today.  They
can now be cloned using:

$ git clone git://nagiosplug.git.sourceforge.net/gitroot/nagiosplug/nagiosplug
$ git clone git://nagiosplug.git.sourceforge.net/gitroot/nagiosplug/nagiosmib
$ git clone git://nagiosplug.git.sourceforge.net/gitroot/nagiosplug/Nagios-Plugin

The Gitweb interface to these repositories can be viewed at:

  http://nagiosplug.git.sourceforge.net/

The old repositories at repo.or.cz now mirror the SourceForge
repositories (once an hour), so local read-only clones should continue
to work without modification.  However, the configuration of local
clones can be updated as follows to use the new location instead:

$ git remote rm origin
$ git remote add origin git://nagiosplug.git.sourceforge.net/gitroot/nagiosplug/<repo>
$ git config branch.master.remote origin
$ git config branch.master.merge refs/heads/master

where <repo> is the repository name, that is: nagiosplug, nagiosmib, or
Nagios-Plugin.

Developers with push access can update the configuration of their local
clones like this:

$ git remote rm origin
$ git remote add origin ssh://<user>@nagiosplug.git.sourceforge.net/gitroot/nagiosplug/<repo>
$ git config branch.master.remote origin
$ git config branch.master.merge refs/heads/master

where <user> is the user name at SourceForge and <repo> is the
repository name.

Apart from that, I disabled the Subversion commit notifications we
received so far and activated the new git-notify hook instead.  As far
as I can see, this means that we could finally switch off the Subversion
mirror of our Git repositories.  Any objections?  Is anyone (or any
script) still using them?

Holger




More information about the Devel mailing list