[解決済み] Gitブランチをクローズするには？

質問

Git + GitHubを使い始めています。

私たちの分散型チームでは、各メンバーが割り当てられた課題/要件ごとに自分のブランチを作成しています。

1. git branch Issue#1 <-- create this branch
2. git checkout issue#1 <-- switch over to this branch

現在 code code , commit , code , commit などなど...

では pull request , code-fixup , commit , code , commit ...など。

で、最終的にプルリクエストが受理されます。

しかし、さてどうでしょう？

ローカルの開発用マシンでブランチを作成した人は、ブランチをクローズする必要があるのでしょうか? ある提案は、開発者がブランチを削除することでした。 ( ... -D ...) を削除し、master をプル/リフレッシュしてください...そうすれば、ブランチのコードをすべて取得できます。

どのように解決するのですか？

プルリクエストを依頼した開発者に、そのブランチを削除してほしい旨を伝えるようお願いしています。たいていの場合、このようになります。ブランチが必要な場合もあります (たとえば、変更を別のリリース ブランチにコピーする場合など)。

私の指は私たちのプロセスを記憶しています。

git checkout <feature-branch>
git pull
git checkout <release-branch>
git pull
git merge --no-ff <feature-branch>
git push
git tag -a branch-<feature-branch> -m "Merge <feature-branch> into <release-branch>"
git push --tags
git branch -d <feature-branch>
git push origin :<feature-branch>

枝は仕事のため。タグは時間的な場所をマークします。各ブランチマージにタグを付けることで、必要なときにブランチを復活させることができます。ブランチタグは変更を見直すために何度か使われました。