Opened 7 months ago
Closed 7 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 7 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.