{"id":45041,"name":"deps/kami","ecosystem":"submodules","repository_url":null,"issues_count":3,"created_at":"2025-06-23T08:06:22.866Z","updated_at":"2025-06-23T08:06:22.866Z","purl":"pkg:submodules/deps/kami","unique_repositories_count":1,"unique_repositories_count_past_30_days":1,"recent_issues":[{"uuid":"3564361243","node_id":"PR_kwDOCBD1oM6wSYbX","number":497,"state":"open","title":"Bump deps/kami from `779e2a5` to `1b42619`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":5,"pull_request":true,"closed_at":null,"author_association":null,"state_reason":null,"created_at":"2025-10-29T05:02:20.000Z","updated_at":"2025-11-07T17:01:31.152Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/kami","old_version":"`779e2a5`","new_version":"`1b42619`","repository_url":"https://github.com/mit-plv/kami"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/kami](https://github.com/mit-plv/kami) from `779e2a5` to `1b42619`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/kami/commit/1b4261942769496d3766a75e1adc07d36dc58413\"\u003e\u003ccode\u003e1b42619\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/mit-plv/kami/issues/44\"\u003e#44\u003c/a\u003e from SkySkimmer/no-opt-schemes\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/kami/commit/188cc3aae9da01cfab99a085f052b24f15a556ee\"\u003e\u003ccode\u003e188cc3a\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21241\"\u003erocq-prover/rocq#21241\u003c/a\u003e (stop relying on eq_rec being defined from eq...\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/kami/compare/779e2a500d44c6d9882f42528d727b30e07a6062...1b4261942769496d3766a75e1adc07d36dc58413\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/497","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/497","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/497/packages"},{"uuid":"2627983875","node_id":"PR_kwDOCBD1oM6co9oD","number":471,"state":"closed","title":"Bump deps/kami from `3e565a1` to `9e1e934`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-06-30T08:19:05.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-30T07:08:38.000Z","updated_at":"2025-06-30T08:19:05.000Z","time_to_close":4227,"merged_at":"2025-06-30T08:19:05.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/kami","old_version":"`3e565a1`","new_version":"`9e1e934`","repository_url":"https://github.com/mit-plv/kami"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/kami](https://github.com/mit-plv/kami) from `3e565a1` to `9e1e934`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/kami/commit/9e1e9345b2fd10ed555bff49af51f627e9c53aac\"\u003e\u003ccode\u003e9e1e934\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/pull/17876\"\u003erocq-prover/rocq#17876\u003c/a\u003e\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/kami/compare/3e565a1f2467818de9ca3c6ec28fbaf4d194939b...9e1e9345b2fd10ed555bff49af51f627e9c53aac\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/471","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/471","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/471/packages"},{"uuid":"2610522016","node_id":"PR_kwDOCBD1oM6bmWeg","number":470,"state":"open","title":"Bump deps/kami from `3ab0943` to `3e565a1`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-23T06:10:21.000Z","updated_at":"2025-06-23T06:10:21.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/kami","old_version":"`3ab0943`","new_version":"`3e565a1`","repository_url":"https://github.com/mit-plv/kami"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/kami](https://github.com/mit-plv/kami) from `3ab0943` to `3e565a1`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/kami/commit/3e565a1f2467818de9ca3c6ec28fbaf4d194939b\"\u003e\u003ccode\u003e3e565a1\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/pull/17876\"\u003erocq-prover/rocq#17876\u003c/a\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/kami/commit/811b893efb89476907567992fc07970f22fa1e5e\"\u003e\u003ccode\u003e811b893\u003c/code\u003e\u003c/a\u003e run CI only on ubuntu-latest and coq master\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/kami/compare/3ab094327db916f9db7569c8a378113c5d0da748...3e565a1f2467818de9ca3c6ec28fbaf4d194939b\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/470","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/470","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/470/packages"}],"issue_packages":[{"old_version":"`779e2a5`","new_version":"`1b42619`","update_type":null,"path":null,"pr_created_at":"2025-10-29T05:02:20.000Z","version_change":"`779e2a5` → `1b42619`","issue":{"uuid":"3564361243","node_id":"PR_kwDOCBD1oM6wSYbX","number":497,"state":"open","title":"Bump deps/kami from `779e2a5` to `1b42619`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":5,"pull_request":true,"closed_at":null,"author_association":null,"state_reason":null,"created_at":"2025-10-29T05:02:20.000Z","updated_at":"2025-11-07T17:01:31.152Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/kami","old_version":"`779e2a5`","new_version":"`1b42619`","repository_url":"https://github.com/mit-plv/kami"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/kami](https://github.com/mit-plv/kami) from `779e2a5` to `1b42619`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/kami/commit/1b4261942769496d3766a75e1adc07d36dc58413\"\u003e\u003ccode\u003e1b42619\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/mit-plv/kami/issues/44\"\u003e#44\u003c/a\u003e from SkySkimmer/no-opt-schemes\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/kami/commit/188cc3aae9da01cfab99a085f052b24f15a556ee\"\u003e\u003ccode\u003e188cc3a\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21241\"\u003erocq-prover/rocq#21241\u003c/a\u003e (stop relying on eq_rec being defined from eq...\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/kami/compare/779e2a500d44c6d9882f42528d727b30e07a6062...1b4261942769496d3766a75e1adc07d36dc58413\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/497","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/497","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/497/packages"}},{"old_version":"`3e565a1`","new_version":"`9e1e934`","update_type":null,"path":null,"pr_created_at":"2025-06-30T07:08:38.000Z","version_change":"`3e565a1` → `9e1e934`","issue":{"uuid":"2627983875","node_id":"PR_kwDOCBD1oM6co9oD","number":471,"state":"closed","title":"Bump deps/kami from `3e565a1` to `9e1e934`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-06-30T08:19:05.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-30T07:08:38.000Z","updated_at":"2025-06-30T08:19:05.000Z","time_to_close":4227,"merged_at":"2025-06-30T08:19:05.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/kami","old_version":"`3e565a1`","new_version":"`9e1e934`","repository_url":"https://github.com/mit-plv/kami"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/kami](https://github.com/mit-plv/kami) from `3e565a1` to `9e1e934`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/kami/commit/9e1e9345b2fd10ed555bff49af51f627e9c53aac\"\u003e\u003ccode\u003e9e1e934\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/pull/17876\"\u003erocq-prover/rocq#17876\u003c/a\u003e\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/kami/compare/3e565a1f2467818de9ca3c6ec28fbaf4d194939b...9e1e9345b2fd10ed555bff49af51f627e9c53aac\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/471","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/471","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/471/packages"}},{"old_version":"`3ab0943`","new_version":"`3e565a1`","update_type":null,"path":null,"pr_created_at":"2025-06-23T06:10:21.000Z","version_change":"`3ab0943` → `3e565a1`","issue":{"uuid":"2610522016","node_id":"PR_kwDOCBD1oM6bmWeg","number":470,"state":"open","title":"Bump deps/kami from `3ab0943` to `3e565a1`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-23T06:10:21.000Z","updated_at":"2025-06-23T06:10:21.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/kami","old_version":"`3ab0943`","new_version":"`3e565a1`","repository_url":"https://github.com/mit-plv/kami"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/kami](https://github.com/mit-plv/kami) from `3ab0943` to `3e565a1`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/kami/commit/3e565a1f2467818de9ca3c6ec28fbaf4d194939b\"\u003e\u003ccode\u003e3e565a1\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/pull/17876\"\u003erocq-prover/rocq#17876\u003c/a\u003e\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/kami/commit/811b893efb89476907567992fc07970f22fa1e5e\"\u003e\u003ccode\u003e811b893\u003c/code\u003e\u003c/a\u003e run CI only on ubuntu-latest and coq master\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/kami/compare/3ab094327db916f9db7569c8a378113c5d0da748...3e565a1f2467818de9ca3c6ec28fbaf4d194939b\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/470","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/470","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/470/packages"}}]}