Git hooks enabling automatic one-way mirroring to SVN: written to support Software Engineering project, winter 2012-13