Git and SVN push

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

JD