This contains multiple scripts:
- A script to synchronize an existing git repository with subversion
via a git synch client
- hooks for the git server to trigger the sync after a push
- a hook for the client to reject every manual change
- A script to create a new git server repository, along with the git
synch client, starting from an existing subversion repository.