ربما رأيت تلك العلامة في صفحة إعدادات مستودع GitHub: "طلب طلب سحب قبل الدمج". اليوم تعلمت أن هذا تصريح حرفي إلى حد ما. بعد فتح PR، يمكنك فقط دفع نفس الالتزام إلى الفرع ويسمح لك GitHub بذلك. 🤪

اكتشفت ذلك لأنني أخطأت في كتابة كلمة Origin إلى Upstream وتم دمج PR الخاص بي بسعادة. والأغرب من ذلك، حاولت دفع التزامين فقط. واحدة كانت في الرقم القياسي الدائم، وانتهى بها المطاف على القطار الرئيسي. أما الآخر فلم يكن كذلك، فقد اختفى ببساطة، وأبلغ الرجل عن الرأس نفسه. أشياء غريبة تحدث هناك.