Tasty » Adam Sampson's scm bookmarks

The HoTT book « Mathematics and Computation edit / delete

Evangelising the use of proper version control for collaborative writing. (Which seems kind of obvious to me, but it's surprisingly hard to persuade people about.)

to academia git scm tex writing ... on 11 July 2013

GitForDarcsUsers – GHC edit / delete

Good overview, this. (I'd got partway through writing a cheatsheet to go with my other ones, but no need given this.)

to darcs git scm ... on 01 August 2011

ChiliProject - Homepage - ChiliProject edit / delete

A Trac-style project hosting system with Git support, and support for multiple projects. (Ruby, unfortunately...)

to hosting project scm ... on 13 July 2011

msporny's Profile - GitHub edit / delete

The author had his DNA sequenced and uploaded it to GitHub. Which means people can then submit patches to him. Worth using as an example should I wind up teaching SCM again...

to amusements dna scm teaching ... on 27 February 2011

Public Git Hosting - fast-export.git/summary edit / delete

Mercurial-to-Git conversion. Seems to work.

to git mercurial scm software ... on 27 January 2011

Git for the newbie « To Linux and beyond ! edit / delete

Another useful Git cheatsheet.

to git scm ... on 09 January 2011

apenwarr's bup at master - GitHub edit / delete

Neat idea: use Git as a backend for an incremental backup system. Has a few minor problems, like no way to prune away old backups...

to backup git scm software ... on 01 October 2010

iolaus edit / delete

Darcs successor on top of Git. Includes an implementation in Go. Sounds somewhat crazy.

to darcs git scm software ... on 11 May 2010

Index of /repos/darcs-export-git edit / delete

Fast Darcs-to-Git converter. Seems to work nicely, although I'd be tempted to add an option to disable the marker files in directories.

to darcs git scm software ... on 30 December 2009

Git Magic - Preface edit / delete

Handy reference to Git's command set, and some trickier uses for it. This is a lot more useful than the "real" Git manual, particularly from my trying-to-understand-Git-from-a-Darcs-background perspective.

to git scm software ... on 19 August 2008