Jadi, Anda mungkin melihat tanda centang itu di halaman pengaturan repositori GitHub: "Memerlukan permintaan pull sebelum digabungkan". Hari ini saya belajar, itu adalah pernyataan yang cukup harfiah. Setelah Anda membuka PR, Anda cukup mendorong ke cabang commit yang sama dan GitHub memungkinkan Anda melakukannya. 🤪

Mengetahuinya karena saya salah mengetik asal ke hulu dan dengan senang hati menggabungkan PR saya. Yang lebih aneh lagi, saya mencoba mendorong 2 komitmen. Salah satunya di PR, yang berakhir di utama. Yang lainnya tidak, yang hilang begitu saja, dengan git melaporkan kepalanya sama. Omong kosong aneh terjadi di sana.