Pre-tagging for distros Pre-tagged prematurely a moment ago, and GNOME doesn't let you delete tags you push by mistake. https://wiki.gnome.org/Git/Help/TagUpdates
Pre-tagging for distros Pre-tagged prematurely a moment ago, and GNOME doesn't let you delete tags you push by mistake. https://wiki.gnome.org/Git/Help/TagUpdates