From aaea76530997b5dea076ca48e16ceed80e776aa7 Mon Sep 17 00:00:00 2001
From: Lapo Luchini <lapo@lapo.it>
Date: Mon, 13 Dec 2021 18:26:00 +0000
Subject: [PATCH] Update all repositories every time.

---
 mirror_to_github.sh | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.51.2