#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


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.


Change History (1)

comment:1 Changed 21 months 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.