Learn more about these different git repos.
Other Git URLs
Name of the package? idris
Branches that you need it to be unretired for? master f27
Package re-review BZ URL? https://bugzilla.redhat.com/show_bug.cgi?id=1594765
@petersen idris should be unretired now.
Metadata Update from @mohanboddu: - Issue close_status updated to: Fixed - Issue status updated to: Closed (was: Open)
It is still blocked for f29-pending in koji:
https://koji.fedoraproject.org/koji/taskinfo?taskID=28395249
Metadata Update from @petersen: - Issue status updated to: Open (was: Closed)
Also F28 https://koji.fedoraproject.org/koji/taskinfo?taskID=28404179
Unblocked.
Thanks for unblocking - built now for F28 and F29
Metadata Update from @petersen: - Issue close_status updated to: Fixed - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.