{"update": {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 3, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "- https://hackage.haskell.org/package/Agda-2.6.2.1/changelog\n- https://github.com/agda/agda-stdlib/blob/v1.7.1/CHANGELOG.md\n", "type": "enhancement", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": null, "close_bugs": true, "date_submitted": "2022-03-27 15:42:34", "date_modified": "2022-03-29 04:16:07", "date_approved": null, "date_testing": "2022-03-29 01:21:46", "date_stable": "2022-04-05 14:26:23", "alias": "FEDORA-2022-dbf52e077f", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2022-04-05 14:26:23", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2022-dbf52e077f", "title": "Agda-2.6.2.1-35.fc36 Agda-stdlib-1.7.1-1.fc36", "version_hash": "12a3fae4c7cb64da59118c679e58487e1010b34c", "release": {"name": "F36", "long_name": "Fedora 36", "version": "36", "id_prefix": "FEDORA", "branch": "f36", "dist_tag": "f36", "stable_tag": "f36-updates", "testing_tag": "f36-updates-testing", "candidate_tag": "f36-updates-candidate", "pending_signing_tag": "f36-signing-pending", "pending_testing_tag": "f36-updates-testing-pending", "pending_stable_tag": "f36-updates-pending", "override_tag": "f36-override", "mail_template": "fedora_errata_template", "state": "archived", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2023-05-16", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "setting_status": null}, "user": {"name": "petersen", "email": "petersen@redhat.com", "id": 471, "avatar": "https://seccdn.libravatar.org/avatar/4eb46a6bcfcf796be7992451a537f010d01bc88c294975bd12453a12c24efb33?s=24&d=retro", "openid": "petersen.id.fedoraproject.org", "groups": [{"name": "proventesters"}, {"name": "provenpackager"}, {"name": "packager"}, {"name": "fedorabugs"}, {"name": "cvsredhat-config-language"}, {"name": "gitspin-kickstarts"}, {"name": "gityum-langpacks"}, {"name": "gitliberation-fonts"}, {"name": "cvsfedora"}, {"name": "githaskell-sig"}, {"name": "cvslohit-fonts"}, {"name": "sysadmin"}, {"name": "cla_redhat"}, {"name": "giti18n"}, {"name": "fedora-contributor"}, {"name": "ipausers"}, {"name": "qa"}, {"name": "haskell-lang-sig"}, {"name": "gitcabal2spec"}, {"name": "haskell"}, {"name": "signed_fpca"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for testing by petersen. ", "timestamp": "2022-03-27 15:42:34", "update_id": 390119, "user_id": 91, "id": 2459708, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2022-03-27 15:42:35", "update_id": 390119, "user_id": 91, "id": 2459709, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been pushed to testing.", "timestamp": "2022-03-28 01:20:24", "update_id": 390119, "user_id": 91, "id": 2460012, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "petersen edited this update.\n\nNew build(s):\n\n- Agda-stdlib-1.7.1-1.fc36\n\nKarma has been reset.", "timestamp": "2022-03-28 13:22:48", "update_id": 390119, "user_id": 91, "id": 2460407, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for testing by petersen. ", "timestamp": "2022-03-28 13:22:50", "update_id": 390119, "user_id": 91, "id": 2460408, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been pushed to testing.", "timestamp": "2022-03-29 01:23:41", "update_id": 390119, "user_id": 91, "id": 2461166, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "petersen edited this update.", "timestamp": "2022-03-29 04:16:07", "update_id": 390119, "user_id": 91, "id": 2461423, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi. ", "timestamp": "2022-04-05 01:24:14", "update_id": 390119, "user_id": 91, "id": 2468609, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been pushed to stable.", "timestamp": "2022-04-05 14:27:56", "update_id": 390119, "user_id": 91, "id": 2469279, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "Agda-2.6.2.1-35.fc36", "signed": true, "release_id": 56, "type": "rpm", "epoch": 0}, {"nvr": "Agda-stdlib-1.7.1-1.fc36", "signed": true, "release_id": 56, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2069421, "title": "F36FailsToInstall: Agda-stdlib", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2022-dbf52e077f", "karma": 0, "content_type": "rpm", "test_cases": []}, "can_edit": false, "ci_allowed": false}