1#!/bin/sh
2cd `dirname "$0"`
3if [ ! -d .git ]; then
4 git init
5 git remote add origin git@github.com:lapo-luchini/asn1js.git
6 rm git-marks1.txt git-marks2.txt
7fi
8touch git-marks1.txt git-marks2.txt
9mtn --quiet --authors=git-authors.txt --branches-file=git-branches.txt --import-marks=git-marks1.txt --export-marks=git-marks1.txt git_export | \
10 git fast-import --import-marks=git-marks2.txt --export-marks=git-marks2.txt
11git push --mirror origin