Opened 18 months ago
Closed 18 months 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 18 months ago by
Component: | unspecified → other |
---|---|
Resolution: | → fixed |
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
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.