Opened 14 months ago

Closed 14 months ago

Last modified 14 months ago

#28394 closed task (fixed)

Sync metrics repositories from git.torproject.org to github.com/torproject

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

Description

Hi,

The following repositories on github.com/torproject are empty:

  • exonerator
  • metrics-base
  • metrics-lib
  • metrics-web
  • onionoo

I just added the push bot to their permissions.
Do we need to set up the push hook on git.torproject.org?

Child Tickets

Change History (3)

comment:1 Changed 14 months ago by irl

How do I give the push bot permissions for these? This is probably something I should understand better. I was just adding the hooks and thinking that was all that was needed.

comment:2 Changed 14 months ago by irl

Resolution: fixed
Status: newclosed

Ok, I seem to have guessed correctly (or at least it works if) I add the "pushers" team with write access to the repositories.

comment:3 Changed 14 months ago by teor

I think I tried to add the bot as well.

Thanks for getting it working!

Note: See TracTickets for help on using tickets.