[Camps-users] Git repository moved to GitHub

[Jon Jensen]

Camps users,

We will be migrating the devcamps.org website to a new server soon, and 
there seems to be little value in maintaining our own local Git repository 
and gitweb interface there when most camps development activity has been 
happening at GitHub for the past few years.

Therefore we have removed the old Git repository which was at:

http://git.devcamps.org/camps.git

and any checkouts you have with remotes pointing there should now instead 
point to:

https://github.com/devcamps/camps.git

One unfortunate side-effect of this is on the camps-commits mailing list:

https://mail.endcrypt.com/mailman/listinfo/camps-commits

which formerly showed full diffs of all changes committed, but now only 
shows a summary and gives a GitHub URL to follow for more information. 
Given the low volume of commits, this shouldn't be too big of an 
inconvenience.

Jon


-- 
Jon Jensen
End Point Corporation
https://www.endpoint.com/