Re: [tor-bugs] #25275 [Internal Services/Service - git]: Please delete tag collector-1.5.0 in collector.git

[Tor Bug Tracker & Wiki]

#25275: Please delete tag collector-1.5.0 in collector.git
-+
 Reporter:  karsten  |  Owner:  tor-gitadm
 Type:  task | Status:  closed
 Priority:  Medium   |  Milestone:
Component:  Internal Services/Service - git  |Version:
 Severity:  Normal   | Resolution:  fixed
 Keywords:   |  Actual Points:
Parent ID:   | Points:
 Reviewer:   |Sponsor:
-+
Changes (by karsten):

 * status:  reopened => closed
 * resolution:   => fixed


Comment:

 This is fixed now. hiro gave me more permissions, I deleted the tag, hiro
 revoked the additional permissions. Closing. Thanks!

--
Ticket URL: 
Tor Bug Tracker & Wiki 
The Tor Project: anonymity online
___
tor-bugs mailing list
tor-bugs@lists.torproject.org
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs

Re: [tor-bugs] #25275 [Internal Services/Service - git]: Please delete tag collector-1.5.0 in collector.git

[Tor Bug Tracker & Wiki]

#25275: Please delete tag collector-1.5.0 in collector.git
-+
 Reporter:  karsten  |  Owner:  tor-gitadm
 Type:  task | Status:  reopened
 Priority:  Medium   |  Milestone:
Component:  Internal Services/Service - git  |Version:
 Severity:  Normal   | Resolution:
 Keywords:   |  Actual Points:
Parent ID:   | Points:
 Reviewer:   |Sponsor:
-+
Changes (by karsten):

 * status:  closed => reopened
 * resolution:  fixed =>


Comment:

 Hmm, are you sure this is fixed? I still see the 1.5.0 tag on
 https://gitweb.torproject.org/collector.git/, and when I clone the
 repository and run `git tag -l`, I see it, too.

 Do I have to push something to the repository first in order to make that
 tag go away? Or do I have to push a new 1.5.0 tag? Or...

--
Ticket URL: 
Tor Bug Tracker & Wiki 
The Tor Project: anonymity online
___
tor-bugs mailing list
tor-bugs@lists.torproject.org
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs

Re: [tor-bugs] #25275 [Internal Services/Service - git]: Please delete tag collector-1.5.0 in collector.git

[Tor Bug Tracker & Wiki]

#25275: Please delete tag collector-1.5.0 in collector.git
-+
 Reporter:  karsten  |  Owner:  tor-gitadm
 Type:  task | Status:  closed
 Priority:  Medium   |  Milestone:
Component:  Internal Services/Service - git  |Version:
 Severity:  Normal   | Resolution:  fixed
 Keywords:   |  Actual Points:
Parent ID:   | Points:
 Reviewer:   |Sponsor:
-+
Changes (by teor):

 * status:  needs_revision => closed
 * resolution:   => fixed


Comment:

 I think this was actually fixed

--
Ticket URL: 
Tor Bug Tracker & Wiki 
The Tor Project: anonymity online
___
tor-bugs mailing list
tor-bugs@lists.torproject.org
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs

Re: [tor-bugs] #25275 [Internal Services/Service - git]: Please delete tag collector-1.5.0 in collector.git

[Tor Bug Tracker & Wiki]

#25275: Please delete tag collector-1.5.0 in collector.git
-+-
 Reporter:  karsten  |  Owner:  tor-gitadm
 Type:  task | Status:
 |  needs_revision
 Priority:  Medium   |  Milestone:
Component:  Internal Services/Service - git  |Version:
 Severity:  Normal   | Resolution:
 Keywords:   |  Actual Points:
Parent ID:   | Points:
 Reviewer:   |Sponsor:
-+-
Changes (by hiro):

 * status:  new => needs_revision


Comment:

 Fixed.

--
Ticket URL: 
Tor Bug Tracker & Wiki 
The Tor Project: anonymity online
___
tor-bugs mailing list
tor-bugs@lists.torproject.org
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs

Re: [tor-bugs] #25275 [Internal Services/Service - git]: Please delete tag collector-1.5.0 in collector.git

[Tor Bug Tracker & Wiki]

#25275: Please delete tag collector-1.5.0 in collector.git
-+
 Reporter:  karsten  |  Owner:  tor-gitadm
 Type:  task | Status:  new
 Priority:  Medium   |  Milestone:
Component:  Internal Services/Service - git  |Version:
 Severity:  Normal   | Resolution:
 Keywords:   |  Actual Points:
Parent ID:   | Points:
 Reviewer:   |Sponsor:
-+

Comment (by karsten):

 Pretty please. :)

--
Ticket URL: 
Tor Bug Tracker & Wiki 
The Tor Project: anonymity online
___
tor-bugs mailing list
tor-bugs@lists.torproject.org
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs