After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 625411 - Remove mis-typed folks release tag "0_10_0"
Remove mis-typed folks release tag "0_10_0"
Status: RESOLVED FIXED
Product: sysadmin
Classification: Infrastructure
Component: Git
unspecified
Other Linux
: Normal normal
: ---
Assigned To: Jeff Schroeder
GNOME Sysadmins
Depends on:
Blocks:
 
 
Reported: 2010-07-27 16:43 UTC by Travis Reitter
Modified: 2010-08-05 02:04 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Travis Reitter 2010-07-27 16:43:25 UTC 
I accidentally gave a release of folks the release number "0_10_0", and now can't delete it.

Please delete the git tag folks/FOLKS_0_10_0
Comment 1 Christian Kirbach 2010-07-28 20:55:33 UTC 
Hi Travis

we are the bugzilla, not the git people.
besides, have you checked a git guide on how to delete a branch?
Comment 2 Travis Reitter 2010-07-29 13:02:42 UTC 
I talked to Olav, and he said to file a bug - maybe I filed under the wrong component. Which module/component should I use?

The git.gnome.org hooks prevent the deletion of tags, so the only way to fix this is to have an admin do it.
Comment 3 Christian Kirbach 2010-08-04 21:39:04 UTC 
I do not know for sure. sysadmin?
Comment 4 Jeff Schroeder 2010-08-05 02:04:28 UTC 
Doneski

[jschroeder@git folks.git]$ git tag
FOLKS_0_1_10
FOLKS_0_1_11
FOLKS_0_1_12
FOLKS_0_1_9