github で削除したブランチと同名のブランチをプッシュできないことがあったので理由を調べた

github でブランチを削除してから、
同名のブランチをプッシュしようとしたところ、失敗することがありました。

どうやら下の通りの手順で発生する模様です。

1. foo というブランチを作成
2. foo からプルリクを出す
3. foo を削除
4. 同じ名前の foo というブランチでプッシュ

この場合、2. で出したプルリクはクローズになりますが、
プルリクを開くと、当時のコードを読むことができます。

原因は、予想ですが、下のとおりです。

1. ブランチを削除しても、プルリクを出してある場合は、コードを残すために、github が、ブランチを裏で保存してある
2. そのため、同名のブランチをプッシュしようとすると、ブランチ名が衝突して失敗する