So the server (at paard.math.columbia.edu) I was using for the logs (via gitweb) as well as for the git repostory of the stacks project finally died an hour ago. It served me faithfully for about 8 years which isn’t bad.
So I decided to move the git repository to github. You can find it here at github. You can find the logs there too. It is kind of disconcerting how easy it is to set this up. It literally took me 1 minute to do. The new way to pull in the stacks project using git is
git clone git://github.com/stacks/stacks-project.git
or if that doesn’t work please try
git clone https://github.com/stacks/stacks-project.git
If you were previously tracking the repository at paard.math.columbia.edu, then you can edit
.git/config and point it at either address above, or just wipe out the directory and issue one of the two commands above. Please let me know if there are any issues with this.
It will take me some time to adjust some of the links on the blog and in the stacks project itself, but I wanted to let you know what was up now.
Edit: OK, I now removed most of the links to paard.math.columbia.edu. In particular I went back and edited all the posts on the blog linking to paard for 2011 and 2012. Unfortunately the repository viewer on github isn’t as good as the gitweb viewer we used to have on paard (in my opinion). Anyway is no substitute for clone the project onto you own machine, right?