From 8fe493cf94a5d5ada0a1ca4e8f5ce2c5570b084b Mon Sep 17 00:00:00 2001 From: Lapo Luchini Date: Sun, 15 Feb 2026 13:16:45 +0000 Subject: [PATCH] Mirroring script now has a new home: monotone branch net.venge.monotone.mtn2git mirrored on https://github.com/lapo-luchini/mtn2git --- mirror_to_github.sh | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100755 mirror_to_github.sh diff --git a/mirror_to_github.sh b/mirror_to_github.sh deleted file mode 100755 index 36d2171..0000000 --- a/mirror_to_github.sh +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/sh -cd `dirname "$0"` -mtn sy -if [ ! -d .git ]; then - git init # --initial-branch=trunk # not yet supported on WSL - git checkout -b trunk - git remote add origin git@github.com:lapo-luchini/asn1js.git - rm git-marks1.txt git-marks2.txt -fi -touch git-marks1.txt git-marks2.txt -[ -f git-authors.txt ] || echo 'lapo@lapo.it = Lapo Luchini ' > git-authors.txt -mtn ls branches --ignore-suspend-certs | sort -V | awk ' - NR == 1 { base = $0; len = length(base) } - { d = length($0) - len; print $0 " = " (d > 0 ? substr($0, len+2) : "trunk") } -' > git-branches.txt -mtn --quiet --authors=git-authors.txt --branches-file=git-branches.txt --import-marks=git-marks1.txt --export-marks=git-marks1.txt git_export | \ - git fast-import --import-marks=git-marks2.txt --export-marks=git-marks2.txt -git push --mirror origin -git reset # to update working copy state (doesn't change files) -- 2.51.2