Opened 10 days ago

Closed 9 days ago

#2616 closed defect (fixed)

GitHub Repository Out of Date

Reported by: Hugo Karius Owned by:
Priority: minor Milestone: undecided
Component: other Version: 0.9.42
Keywords: Cc:
Parent Tickets: Sensitive: no

Description

Please update the GitHub? repository. I had imagined this was automated with each release or commit. If not, I guess this should be a feature request.

Subtickets

Change History (1)

comment:1 Changed 9 days ago by zzz

Component: unspecifiedother
Resolution: fixed
Status: newclosed

The person running the mirroring service had a hardware failure and it was down for several weeks. Coincidentally, he got it back up and running yesterday, about the same time you filed this ticket.

Note: See TracTickets for help on using tickets.