Stacks project on github

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?

2 thoughts on “Stacks project on github

  1. Pingback: Fork it! | Stacks Project Blog

  2. OK, so the server is back up (thanks to a screwdriver, a scsi drive and a ubuntu server install dvd, all thanks to Peter), but who knows for how long? Still, you can once again enjoy the gitweb interface to the stacks project.

Comments are closed.