chiark / gitweb /
eb1ca3c46772a8fb2b53eeed71428683bd81c515
[adns.git] / convert
1 #!/bin/sh
2 set -ex
3 base=$HOME/things/Adns/Cvs-Convert
4 cd $base
5 tmp=$base/tmp
6
7 rm -rf converted
8
9 if ! test -d $tmp/git-cvsi; then
10         rm -rf tmp
11         mkdir tmp
12         git cvsimport -d `pwd`/cvs-repo -C tmp/git-cvsi.new -k -p --norc adns
13         mv tmp/git-cvsi.new tmp/git-cvsi
14 fi
15 cd tmp
16
17 rsync -aH --delete git-cvsi/. adjust
18 cd adjust
19
20 abandonbranch () {
21         local oldbranchname=$1
22         local newtagname=$2
23         git tag $newtagname $oldbranchname
24         git branch -D $oldbranchname
25 }
26 ensurenotag () {
27         local tagname=$1
28         # these two together unconditionally delete the tag if it exists
29         git tag -f $tagname master
30         git tag -d $tagname
31 }
32 abandondatedbranch () {
33         local date=$1
34         local olddesc=$2
35         local newdesc=$3
36         if [ "x$newdesc" = x ]; then newdesc=$olddesc; fi
37         abandonbranch branch-$date-$olddesc abandon.$date.$newdesc
38         ensurenotag branchpoint-$date-$olddesc master
39 }
40 graftmergein () {
41         local desc=$1
42         local mergecommit=$2
43         local branchname=branch-$desc
44         mkdir -p .git/info
45         local branchtip=`git rev-parse $branchname~0`
46         local oldparents=`git log -n1 --pretty=format:%P $mergecommit`
47         cat <<END >>.git/info/grafts
48 $2 $oldparents $branchtip
49 END
50         git branch -D $branchname
51         ensurenotag mergepoint-$desc
52         ensurenotag branchpoint-$desc
53 }
54
55 abandonbranch branch-rrtypenoenum abandon.1998-10-04.rrtypenoenum
56 abandondatedbranch 1999-04-10 mthread multithread
57 abandondatedbranch 1999-04-11 ipv6
58
59 abandondatedbranch 2000-05-07 ipv6
60 abandonbranch branch-0-7-inftodebug abandon.2000-03-26.infotodebug-0.7
61
62 graftmergein logcallbackfn 741a795cdaa539b48f83afbc0ac8e471543b9bf6
63 graftmergein 1999-05-09-gplvslgpl e7cf3a99e5829bf53a9f36e08769787a78261045
64 graftmergein 1999-04-11-pollfds f889c99835eec14dacda4b18da0636911dcd8cbc
65
66 xargs git tag -d <<END
67 tochiark-1998-11-08
68 fromchiark-1998-11-09
69 tochiark-1998-11-09-b
70 fromchiark-1998-11-14
71 tochiark-1998-11-15
72 tochiark-1998-11-17
73 fromchiark-1998-11-28
74 END
75
76 git checkout master
77 scr=cvs-to-git-conversion-script
78 cp $base/script/convert $scr
79 git add $scr
80 git commit -m "$scr: record the script
81
82 Record the script we used to convert the CVS repo to git"
83 git rm $scr
84 git commit -m "$scr: delete the script
85
86 We have in fact done the conversion and don't need the script any more."
87
88 git branch -d origin
89 git tag cvs-to-git-conversion
90
91 cat >$tmp/msg-filter <<'FEND'
92 perl -ne '
93                 $out .= $_;
94         END {
95                 if ($out =~ m/^\@\@/s &&
96                     $out =~ m/^(?:\+ )?[^\@ ].*\w.*$/m) {
97                         print $&, "\n\n" or die $!;
98                 }
99                 print $out or die $!;
100         }
101 '
102 FEND
103 chmod +x $tmp/msg-filter
104
105 git filter-branch --msg-filter $tmp/msg-filter \
106         `git show-ref | awk '{print $2}'`
107
108 git show-ref | awk '{print $2}' | grep '^refs/original/' \
109         | xargs -n1 git update-ref -d
110
111 rm -rf $tmp/converted
112 mkdir $tmp/converted
113 cd $tmp/converted
114 git init
115 git fetch -u $tmp/adjust 'refs/*:refs/*'
116 git checkout master