[tor-bugs] #28074 [Internal Services/Service - git]: please add arma to @torproject-admin

[Tor Bug Tracker & Wiki]

#28074: please add arma to @torproject-admin
---------------------------------------------+-----------------------------
 Reporter:  weasel                           |          Owner:  tor-gitadm
     Type:  defect                           |         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 arma):

 * status:  new => needs_revision


Comment:

 weasel, the docs at
 https://trac.torproject.org/projects/tor/wiki/org/operations/Infrastructure/git.torproject.org#Addingdeveloperstoarepository
 say "This should be GPG signed as above."

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/28074#comment:2>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online