Opened 2 years ago

Closed 17 months 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 2 years ago by traumschule

Parent ID: #8542

Make #8542 parent of orphaned GetTor providers' tickets.

comment:2 Changed 2 years ago by traumschule

Cc: hellais added; traumschule removed

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

comment:3 Changed 2 years ago by hellais

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

comment:4 Changed 2 years 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 2 years 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 18 months ago by gaba

Parent ID: #8542#28231

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

comment:7 Changed 17 months ago by gaba

Resolution: fixed
Status: newclosed

This seems to be resolved now.

Note: See TracTickets for help on using tickets.