diff --git a/mirror_to_github.sh b/mirror_to_github.sh
index b4479b4..9b87bb2 100755
--- a/mirror_to_github.sh
+++ b/mirror_to_github.sh
@@ -1,5 +1,6 @@
 #!/bin/sh
 cd `dirname "$0"`
+mtn sy
 if [ ! -d .git ]; then
     git init
     git remote add origin git@github.com:lapo-luchini/asn1js.git