TICKET=5441
TOPIC=ticket$TICKET
MASTER=git-svn

# Eerst de ticket / tracking branch helemaal up-to-date maken
git checkout $TOPIC
git pull --rebase
git push

# Nu die branch in de SVN branch afspelen, met een interactieve
# rebase zodat je de kans hebt om dingen plat te slaan om een
# mooiere SVN geschiedenis te maken.
git checkout $MASTER
git rebase -i $MASTER $TOPIC

# Fast-forward merge
git checkout $MASTER
git merge $TOPIC

# Pushen naar SVN
git checkout $MASTER
git svn dcommit

# Opruimen van de losse branches, tag de oorspronkelijke
# (remote) branch zodat we de gedetaillerde geschiedenis
# niet kwijt raken. De tags zijn conventioneel met een
# ticket-nummer.
git branch  -D $TOPIC
git tag merged/$TOPIC mirror/$TOPIC
git push --tags
git push mirror :$TOPIC