Gogs URL updated

[Simon Heath]

Dear all,

There have been some changes to the Gogs git repository server to make it
more easily and consistently accessible both inside and outside the lab. 
It is now accessible at http://git.int.autonlab.org/ via web interface,
SSH and HTTPS.  All locations use the same URL, as opposed to before where
there were three different URL's depending on what you wanted to do.  If
necessary, please update your git repository locations if necessary using
the following commands:

If your project is "sheath/my-repo" and is in the directory
"~/projects/my-repo":

cd ~/projects/my-repo
git remote set-url origin
ssh://git@git.int.autonlab.org:2222/sheath/my-repo.git

This will make "git push" and "git pull" commands aim at the right URL.

Let me know if you have any questions or problems!

Regards,
Simon

-- 
Simon Heath, Research Programmer and Analyst
Robotics Institute - Auton Lab
Carnegie Mellon University
sheath at andrew.cmu.edu