#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:


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

Child Tickets

Change History (7)

comment:1 Changed 19 months ago by traumschule

Parent ID: #8542

Make #8542 parent of orphaned GetTor providers' tickets.

comment:2 Changed 19 months ago by traumschule

Cc: hellais added; traumschule removed

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

comment:3 Changed 18 months ago by hellais

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

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

Parent ID: #8542#28231

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

comment:7 Changed 12 months ago by gaba

Resolution: fixed
Status: newclosed

This seems to be resolved now.

Note: See TracTickets for help on using tickets.