私の職場では、最初にブランチを作成し、そのブランチの Github リポジトリにプル リクエストを作成してコードをコミットします。これはかなり標準的なワークフローです。
通常、"Merge pull request" を押すと、Github は "Merge pull request #1234 from branchname" という名前の新しいコミットを 2 つの親 (master の HEAD と PR の最新のコミット) で作成します。
今日、私は通常どおり PR をマージしましたが、どういうわけか Github は master の HEAD を親の 1 つとして使用する代わりに、1 日以上前のコミットを使用することを決定しました (1 日 20 ～ 30 件のコミットを行います)。使用されたこのコミットは、PR ブランチのベースとなったコミットでした。これにより、マスター ブランチはそれからこの PR マージまでのすべてのコミットを失いました。
これがどのように起こったのか誰か知っていますか？これは Github のバグですか? それとも、PR を送信した開発者がマスターを上書きするような悪いことをしたのでしょうか? Github でのリベースや履歴の書き換えを行わずに、すべてのコミットが単純にマスターにマージされると考えていました。