Please tag releases -- like you already do for the resulting packages!

I asked for tagged releases four years ago, and was told it would be a bother -- but since then I see the bootstrap.sh script does tagged releases for the resulting packages, it woud in fact be a one-liner to also tag this source repository.

Notice that the current bootstrap.sh mentions the v1.2.0 in two places -- it should probably be slightly modified so the number is set in one place and used in both (and, for this issue: thrice!)

Thanks!

bootstrap.sh から始めて、現在 v1.2.0 が記述されている2か所と、既存の package-tagging フローを確認します。バージョン値を一元化し、それを source-repository tag にも使用できるようにします。完了条件は、バージョン番号を繰り返し記述せずに、リリースプロセスが意図したすべてのタグを作成することです。