[MiroDev] miro switch to git

[will]

A bunch of us have been interested in switching the Miro project from 
svn to git for a while now.  Most/All of us are already running git over 
svn already.  We're floating the idea of switching to git just after the 
2.0.2 release before work starts in earnest on 2.1.  If this happens, 
it'll probably happen next week.

We're already using git on several projects including the MiroGuide and 
have the infrastructure set up.  We have a gitweb instance set up and 
projects are cloneable:

    https://git.participatoryculture.org/


Moving Miro development to git would involve some form of the following:

1. converting the existing repository from svn to git

2. removing broadcast machine project; we should probably move this to a 
separate git project

3. pushing the new git repository to git.participatoryculture.org

4. changing the timeline button on Trac to point to the gitweb project 
summary page

5. changing all pointers to the svn repository to instead point to the 
git repository

6. re-working util.query_revision to use git information instead of svn 
information

7. making changes to nightly builds so that builds are distinguishable 
from one another and have a mark that links them back to which "version" 
they were built from

8. write some documentation on workflow for Miro and post it in Trac


I think that's it.  Three questions for everyone:

1. what's missing from the above outline?

2. how should we do items 1 and 6?

3. who's available to do the work?


/will