Hello all,
Following the recent slashdot event, we've decided to permanently change
the server for the git hosting. With that, we had to change the host
name of the git server.
The good news is that the new git server is faster. The bad news is that
we ask you to change the url of the remote in your git configuration.
The new git server is at git://git.lttng.org (The old one was
git://lttng.org). All the path stayed the same.
We are currently forwarding the requests from lttng.org to
git.lttng.org, so all your clone will still work, but we urge you to
change so that we don't have to maintain this hack for too long. (You
will also get a faster response.)
As an example, to change your config, you can execute this sed command
in your git directory:
sed -i "s/git:\/\/lttng.org\//git:\/\/git.lttng.org\//" .git/config
Yannick Brosseau
_______________________________________________
ltt-dev mailing list
[email protected]
http://lists.casi.polymtl.ca/cgi-bin/mailman/listinfo/ltt-dev
