شرح صفوف ومحتوى الفقرة
من القواعد الجوهرية في Git أن الأمر git push العادي لا يرفع الوسوم المحلية إلى الخادم البعيد تلقائياً؛ بل يجب رفع الوسم صراحةً باسمه عبر git push origin v1.2.0، أو استخدام git push --follow-tags لرفع الوسوم الموثقة المرتبطة بالالتزامات المرفوعة.
وبمجرد وصول الوسم إلى GitHub، يمكنك إنشاء صفحة إطلاق رسمية GitHub Release تتضمن سجل التغييرات الآلي وملفات التحميل المضغوطة. وإذا أخطأت في تسمية وسم، فاحذفه محلياً بـ git tag -d <tag> ومن الخادم البعيد بـ git push origin --delete <tag>.
Shell
# Push a specific release tag to origin:
git push origin v1.2.0
# Or push commits + annotated tags together:
git push --follow-tags
# Delete a mistyped tag locally and on origin:
git tag -d v1.2.0-typo
git push origin --delete v1.2.0-typo