Git and SVN push


#1

Git and SVN have been pushed. Reminder, tomorrow is the last time SVN
will be updated!

JD