Итак, вы, вероятно, видели этот значок на странице настроек репозитория GitHub: "Требовать запрос на извлечение перед слиянием". Сегодня я узнал, что это довольно буквальное утверждение. После того как вы открываете PR, вы можете просто запушить в ветку тот же коммит, и GitHub позволяет вам это сделать. 🤪

Узнал об этом, потому что неправильно указал origin на upstream, и он с радостью объединил мой PR. Еще страннее, я попытался запушить 2 коммита. Один был в PR, который оказался в main. Другой не был, и просто пропал, при этом git сообщал, что head тот же. Странные вещи происходят там.