リリース手順

1. プライベートリポジトリのdevelopをパブリックリポジトリのmasterにマージする。やり方は何でも良い。
2. パブリックリポジトリのGitHubの「releases」タブをクリックして「Draft a new release」ボタンを押して新しいリリースの作成を開始する。
3. 一番上のタグ名には「v{バージョン番号}」、そのにはバージョン番号を入れる。
4. リリースノート本文は前バージョンのものをコピーして編集する。バージョン番号が書いてあるところが10か所あるので忘れずに番号を変えておく(ブラウザのページ内検索を使うと良い)。
5. 配布用のtar.gzファイルを作る。ローカルに持ってきたmasterのディレクトリでdist.shを実行する。また、Gitのディレクトリを使うときには、あらかじめその中身を掃除しておく(例/ $ git clean -f -d -x)。
6. リリースページに配布用のtar.gzファイルとマニュアルを置く。
7. 「Update release」ボタンを押してリリースする。