The other URL is fine, it gives you all the github information about the repo (commit log, browser, etc), whereas the .git is the thing that you give to the git command line.
Jay On Tue, Sep 14, 2010 at 5:03 AM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > On Sun, Sep 12, 2010 at 11:40 AM, Matthew Flatt <mfl...@cs.utah.edu> wrote: >> The code is still hosted here: >> >> http://github.com/mflatt/gr2 >> > > This should be > > http://github.com/mflatt/gr2.git > > I believe. > > Robby > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/dev -- Jay McCarthy <j...@cs.byu.edu> Assistant Professor / Brigham Young University http://teammccarthy.org/jay "The glory of God is Intelligence" - D&C 93 _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
