Added fossil -> git synchronization script

FossilOrigin-Name: f7f4a3c45d4eefbc9577821d83a47ccdbb495cc0

tools/git-push.sh

@@ -0,0 +1,17 @@
+#!/bin/bash
+export MARKS=marks
+export DUMP=changes.fastexport
+export REPO=fuel.fossil
+
+
+if [ ! -f $MARKS-fossil ]; then
+	touch $MARKS-fossil
+fi
+
+fossil export --git --import-marks $MARKS-fossil --export-marks $MARKS-fossil $REPO >$DUMP
+
+if [ ! -f $MARKS-git ]; then
+	touch $MARKS-git
+fi
+
+git fast-import --export-marks=$MARKS-git --import-marks=$MARKS-git <$DUMP