set up mirror repo on GitHub torproject/jtorctl

The majority of the jtorctl work in the past 10 years has happened on github, so tor's official repo should have a mirror there to keep it visible there.

It'd be fine to have the current torproject/jtorctl there to start with, as ancient as it is. Then hopefully, I can make the guardianproject/jtorctl be a fork of that one.

Trac:
Parent Ticket: #32534 (moved)

added Android component::internal services/service - github tpo jtorctl owner::hiro parent::32534 priority::medium resolution::fixed severity::normal status::closed tbb-mobile type::task labels

Trac:
Summary: set up mirror repo on https://github/torproject/jtorctl to set up mirror repo on GitHub torproject/jtorctl

hiro offered to help us here.

Trac:
Cc: gk to gk, hiro

Trac:
Owner: tbb-team to hiro
Type: defect to task
Component: Applications/Tor Browser to Internal Services/Service - github tpo

I have created an empty repository on github: https://github.com/torproject/jtorctl I have added a git hook to sync https://gitweb.torproject.org/jtorctl with github Also https://gitweb.torproject.org/jtorctl is in the attic at the moment. Do you want to move it out of it?

Replying to hiro:

I have created an empty repository on github: https://github.com/torproject/jtorctl I have added a git hook to sync https://gitweb.torproject.org/jtorctl with github Also https://gitweb.torproject.org/jtorctl is in the attic at the moment. Do you want to move it out of it?

Thanks Hiro! Yes, please move the jtorctl repo out from the attic (it seems like we are giving it a second life). Please add sysrqb and sisbell in the group for write access.

Thanks Hiro! It seems that the sync is not pushing commits from https://gitweb.torproject.org/jtorctl to GitHub, because the GitHub project is still blank.

I set up another automatic mirror here for gitlab.com users: https://gitlab.com/torproject/jtorctl

Replying to eighthave:

Thanks Hiro! It seems that the sync is not pushing commits from https://gitweb.torproject.org/jtorctl to GitHub, because the GitHub project is still blank.

The pusher requires write permissions to the repository to do a sync. I added the pushers group with the correct permissions. The next commit should trigger a sync.

If anyone wants to be able to handle pull requests or CI for the repository, they'll also need write permissions. Please let us know which GitHub users need write permissions, and we'll put them in the jtorctl-maintainers team on GitHub. (It has write permissions, but there's no-one in it.)

In the meantime, I turned off a bunch of optional features, like wikis and issues, to avoid spam. Let us know if you need them turned back on.

Moving tickets to February

Trac:
Keywords: TorBrowserTeam202001 deleted, TorBrowserTeam202002 added

We are no longer in February, moving tickets

Trac:
Keywords: TorBrowserTeam202002 deleted, TorBrowserTeam202003 added

We are no longer in March

Trac:
Keywords: TorBrowserTeam202003 deleted, TorBrowserTeam202004 added

Where are we with this one? Is it working correctly? Can this be closed now?

Trac:
Keywords: TorBrowserTeam202004 deleted, N/A added

Right now, no one is able to push to the git.tpo repo, which means this is not maintained software. I've done a manual push to GitHub to establish the mirror with the latest version of what we have at git.tpo. This won't ever be updated (unless new maintainers appear), but you'll be able to fork it.

https://github.com/torproject/jtorctl

Please make a new ticket if there are more things to do here.

Trac:
Status: new to closed
Resolution: N/A to fixed

closed

mentioned in issue #32534 (moved)