Opened 3 years ago

Closed 3 years ago

#23799 closed task (fixed)

Please create git repository user/irl/metrics-bot

Reported by: irl Owned by: tor-gitadm
Priority: Medium Milestone:
Component: Internal Services/Service - git Version:
Severity: Normal Keywords:
Cc: karsten Actual Points:
Parent ID: Points:
Reviewer: Sponsor:

Description (last modified by irl)

Please create a git repository at user/irl/metrics-bot to contain the sources for the Twitter bot powering @TorAtlas.

I should have read/write access to this repository, everyone should have read access.

repo user/irl/metrics-bot
    RW                                       = irl
    config gitweb.category                   = "Users' development repositories"
user/irl/metrics-bot "Iain R. Learmonth" = "metrics-bot Sources"

(I don't do anywhere near enough gitolite for someone to not double check that before pasting it)

Child Tickets

Change History (4)

comment:1 Changed 3 years ago by irl

Cc: karsten added

comment:2 Changed 3 years ago by irl

Description: modified (diff)
Summary: Please create git repository user/irl/atlasbotPlease create git repository user/irl/metrics-bot

comment:3 Changed 3 years ago by Sebastian

Added with slightly changed description, please reopen if you want the original description. Rationale: when there's an official repo one day the descriptions shouldn't clash

comment:4 Changed 3 years ago by Sebastian

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.