{ "bug_id": 1599011, "repo": "drabt", "exception": false, "description": "", "branch": "master", "action": "new_repo", "upstreamurl": "", "summary": "Proof checker for the DRAT proof format", "namespace": "rpms", "monitor": "monitoring" }
The Pagure repository was created at https://src.fedoraproject.org/rpms/drabt
Metadata Update from @mohanboddu: - Issue close_status updated to: Processed - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.