عالم البرمجيات
Push
إرسال الـ commits المحلية لديك إلى الـ remote، كي تصير في النسخة المشتركة. وعكسه pull، وهو جلب commits الآخرين إليك.
لماذا يهمّك
ضمن موضوع الـ version control (git) → الـ push هو الخطّ الفاصل بين مسوّدة خاصة وشيء صار في العالم. الـ commit المحلي ملكك تمامًا — أعِد كتابته، أو احذفه، فلم يره أحد. أمّا بعد الدفع فيستطيع الآخرون سحبه والبناء فوقه، ولا يمكنك إعادة الجرس إلى صمته: إنه one-way door. وهو أيضًا بالضبط سبب وجوب اعتبار أيّ secret مدفوع مكشوفًا.