Instructions, scripts and utility programs for synchronizing changes between git and Subversion