Opened 7 months ago

Closed 3 days ago

#28230 closed enhancement (fixed)

Link to new github repo from torproject/gettor

Reported by: traumschule Owned by: ilv
Priority: Medium Milestone:
Component: Applications/GetTor Version:
Severity: Normal Keywords:
Cc: Actual Points:
Parent ID: #28231 Points:
Reviewer: Sponsor:

Description

https://github.com/torproject/gettor is completely empty now. Maybe it should point to the new location:
https://github.com/TheTorProject/gettorbrowser

Child Tickets

Change History (7)

comment:1 Changed 7 months ago by traumschule

Parent ID: #8542

Make #8542 parent of orphaned GetTor providers' tickets.

comment:2 Changed 6 months ago by traumschule

Cc: hellais added; traumschule removed

It's just an enhancement but could help users who bookmarked it.

comment:3 Changed 6 months ago by hellais

Why am I cc'ied on this ticket? Do I need to do something?

comment:4 Changed 6 months ago by traumschule

Cc: hellais removed

Hi hellais! I thought it's just an easy fix to add the URL of the new repo to the description of the old one to avoid visitors being confused. Since there was no answer so far i CC'ed you, reversing.

comment:5 Changed 6 months ago by hellais

Ah I see. I don't actually have any access on github.com/torproject. Perhaps hiro can do it.

comment:6 Changed 5 weeks ago by gaba

Parent ID: #8542#28231

Changin the parent to the other ticket (as they were duplicated).

comment:7 Changed 3 days ago by gaba

Resolution: fixed
Status: newclosed

This seems to be resolved now.

Note: See TracTickets for help on using tickets.