Opened 6 months ago

Closed 4 months ago

#26197 closed task (fixed)

Sync git.torproject.org/stem.git to github.com/torproject/stem.git

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

Description

Hi,

Can you please create a stem repository at github.com/torproject/stem.git and make tor-bot (?) sync it from git.torproject.org/stem.git ?

Child Tickets

Change History (9)

comment:1 Changed 6 months ago by isis

I've created https://github.com/torproject/stem and a "stem-maintainers" team which has admin access (read, write, clone, add collaborators) to that repo. No one's in the group yet because I didn't know whom to add.

comment:2 Changed 6 months ago by atagar

Thanks Isis! Here's my GitHub user...

https://github.com/atagar

comment:3 Changed 6 months ago by cypherpunks

Resolution: fixed
Status: newclosed
Type: taskproject

comment:4 Changed 6 months ago by teor

Resolution: fixed
Status: closedreopened
Type: projecttask

This is not fixed: the GitHub stem master is behind the torproject stem master

comment:5 in reply to:  4 Changed 6 months ago by isis

Replying to teor:

This is not fixed: the GitHub stem master is behind the torproject stem master


Yep, it's not fixed. I didn't set up mirroring at all, and I can't since I'm not an admin of git.tpo.

comment:6 in reply to:  2 Changed 6 months ago by isis

Replying to atagar:

Thanks Isis! Here's my GitHub user...

https://github.com/atagar


No prob! You should have an invite to the organisation and for admin permissions on the stem-maintainers team. I think that means you can add more contributors/members, but if not just ping me or another github admin with their usernames and I'll add them.

comment:7 Changed 5 months ago by arma

What still needs to be done here?

I ask because it seems easy for the github people to say "I dunno, the git.tpo folks need to take the next step" and for the git.tpo folks to say the opposite.

In particular, isis's comment above seems to imply that git.tpo needs to enable some mirroring thing?

But hiro just now said that without github permissions, there's nothing to do on the git.tpo side yet.

comment:8 Changed 5 months ago by atagar

Thanks Isis! Accepted the GitHub invitation and pushed Stem's current head to get the new repo caught up.

Does our wiki have any mirroring instructions? I'm unsure if there's some action is needed on my part, or there's someone I need to ask.

comment:9 Changed 4 months ago by dmr

Cc: dmr atagar isabela added
Resolution: fixed
Status: reopenedclosed

After chatting with atagar to confirm, this effort is done as far as I'm aware!
torproject-pusher is automatically sync'ing stem git.tpo -> GitHub, as well as auto-closing PRs / marking them as merged.

If something's not done/ready here, please feel free to re-open.

Note: See TracTickets for help on using tickets.