{"id":32834,"name":"visimp","ecosystem":"submodules","repository_url":null,"issues_count":3,"created_at":"2025-06-07T11:25:47.203Z","updated_at":"2025-06-07T11:25:47.203Z","purl":"pkg:submodules/visimp","unique_repositories_count":1,"unique_repositories_count_past_30_days":1,"recent_issues":[{"uuid":"2755287320","node_id":"PR_kwDOMrROaM6kOlkY","number":44,"state":"closed","title":"chore(deps): bump visimp from `a52f824` to `a944ff5`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-09T07:50:58.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-19T06:09:27.000Z","updated_at":"2025-09-09T07:50:58.000Z","time_to_close":1820491,"merged_at":"2025-09-09T07:50:58.000Z","merged_by":"foxyseta","closed_by":null,"dependency_metadata":{"prefix":"chore(deps)","packages":[{"name":"visimp","old_version":"`a52f824`","new_version":"`a944ff5`","repository_url":"https://github.com/visimp/visimp"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [visimp](https://github.com/visimp/visimp) from `a52f824` to `a944ff5`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/a944ff5e5b23518cf8b73b777b6a697b0c890627\"\u003e\u003ccode\u003ea944ff5\u003c/code\u003e\u003c/a\u003e feat: papis + cmp\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/ba9e5bbaf03ac42d3797b2a5dd66c5b6553ebce0\"\u003e\u003ccode\u003eba9e5bb\u003c/code\u003e\u003c/a\u003e fix: papis init_filetypes\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/749a3b13693fd5372d060300541165c39a5a92fe\"\u003e\u003ccode\u003e749a3b1\u003c/code\u003e\u003c/a\u003e feat: \u003ccode\u003epapis\u003c/code\u003e layer (\u003ca href=\"https://redirect.github.com/visimp/visimp/issues/161\"\u003e#161\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/visimp/visimp/compare/a52f8240d2c197d103f3c6c7a20b5f50008ab45d...a944ff5e5b23518cf8b73b777b6a697b0c890627\"\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/visimp/pages/pull/44","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/visimp%2Fpages/issues/44","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/44/packages"},{"uuid":"2579434081","node_id":"PR_kwDOMrROaM6Zvwph","number":36,"state":"open","title":"chore(deps): bump visimp from `9844c6f` to `131d4b1`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-09T20:40:05.000Z","updated_at":"2025-06-09T20:40:06.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"chore(deps)","packages":[{"name":"visimp","old_version":"`9844c6f`","new_version":"`131d4b1`","repository_url":"https://github.com/visimp/visimp"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [visimp](https://github.com/visimp/visimp) from `9844c6f` to `131d4b1`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/92a6e92fbd1f1355183704bc66d82e90297b2275\"\u003e\u003ccode\u003e92a6e92\u003c/code\u003e\u003c/a\u003e feat: prolog ls\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/15d09b997760890c814e6369b5a3dccf873b0112\"\u003e\u003ccode\u003e15d09b9\u003c/code\u003e\u003c/a\u003e feat: rename coq to rocq\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/42b45aab0e653d95fde37d37c142a876a0aaf799\"\u003e\u003ccode\u003e42b45aa\u003c/code\u003e\u003c/a\u003e Revert \u0026quot;feat: rename coq to rocq\u0026quot;\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/3ecf5fcb6a7f263e9b877d68e5e255d4513c4480\"\u003e\u003ccode\u003e3ecf5fc\u003c/code\u003e\u003c/a\u003e feat: rename coq to rocq\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/visimp/visimp/compare/9844c6fd5929da2784b408885db4bc3c0441024e...131d4b19e206d8dfb139bb5b6a9965cb6d8e8a10\"\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/visimp/pages/pull/36","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/visimp%2Fpages/issues/36","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/36/packages"},{"uuid":"2487142154","node_id":"PR_kwDOMrROaM6UPscK","number":29,"state":"closed","title":"chore(deps): bump visimp from `596a96d` to `131d4b1`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-05-11T14:37:04.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-04-28T22:23:47.000Z","updated_at":"2025-05-11T14:37:05.000Z","time_to_close":1095197,"merged_at":"2025-05-11T14:37:04.000Z","merged_by":"foxyseta","closed_by":null,"dependency_metadata":{"prefix":"chore(deps)","packages":[{"name":"visimp","old_version":"`596a96d`","new_version":"`131d4b1`","repository_url":"https://github.com/visimp/visimp"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [visimp](https://github.com/visimp/visimp) from `596a96d` to `131d4b1`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/131d4b19e206d8dfb139bb5b6a9965cb6d8e8a10\"\u003e\u003ccode\u003e131d4b1\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/visimp/visimp/issues/157\"\u003e#157\u003c/a\u003e from visimp/feat/idris2-tree-sitter\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/3ee0f2e76990007e9462deef63569d29d77dced6\"\u003e\u003ccode\u003e3ee0f2e\u003c/code\u003e\u003c/a\u003e feat: idris2 tree-sitter grammar\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/visimp/visimp/compare/596a96d26a62855117f2de559e5655ebb3b7edf0...131d4b19e206d8dfb139bb5b6a9965cb6d8e8a10\"\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/visimp/pages/pull/29","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/visimp%2Fpages/issues/29","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/29/packages"}],"issue_packages":[{"old_version":"`a52f824`","new_version":"`a944ff5`","update_type":null,"path":null,"pr_created_at":"2025-08-19T06:09:27.000Z","version_change":"`a52f824` → `a944ff5`","issue":{"uuid":"2755287320","node_id":"PR_kwDOMrROaM6kOlkY","number":44,"state":"closed","title":"chore(deps): bump visimp from `a52f824` to `a944ff5`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-09T07:50:58.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-19T06:09:27.000Z","updated_at":"2025-09-09T07:50:58.000Z","time_to_close":1820491,"merged_at":"2025-09-09T07:50:58.000Z","merged_by":"foxyseta","closed_by":null,"dependency_metadata":{"prefix":"chore(deps)","packages":[{"name":"visimp","old_version":"`a52f824`","new_version":"`a944ff5`","repository_url":"https://github.com/visimp/visimp"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [visimp](https://github.com/visimp/visimp) from `a52f824` to `a944ff5`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/a944ff5e5b23518cf8b73b777b6a697b0c890627\"\u003e\u003ccode\u003ea944ff5\u003c/code\u003e\u003c/a\u003e feat: papis + cmp\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/ba9e5bbaf03ac42d3797b2a5dd66c5b6553ebce0\"\u003e\u003ccode\u003eba9e5bb\u003c/code\u003e\u003c/a\u003e fix: papis init_filetypes\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/749a3b13693fd5372d060300541165c39a5a92fe\"\u003e\u003ccode\u003e749a3b1\u003c/code\u003e\u003c/a\u003e feat: \u003ccode\u003epapis\u003c/code\u003e layer (\u003ca href=\"https://redirect.github.com/visimp/visimp/issues/161\"\u003e#161\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/visimp/visimp/compare/a52f8240d2c197d103f3c6c7a20b5f50008ab45d...a944ff5e5b23518cf8b73b777b6a697b0c890627\"\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/visimp/pages/pull/44","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/visimp%2Fpages/issues/44","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/44/packages"}},{"old_version":"`9844c6f`","new_version":"`131d4b1`","update_type":null,"path":null,"pr_created_at":"2025-06-09T20:40:05.000Z","version_change":"`9844c6f` → `131d4b1`","issue":{"uuid":"2579434081","node_id":"PR_kwDOMrROaM6Zvwph","number":36,"state":"open","title":"chore(deps): bump visimp from `9844c6f` to `131d4b1`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-09T20:40:05.000Z","updated_at":"2025-06-09T20:40:06.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"chore(deps)","packages":[{"name":"visimp","old_version":"`9844c6f`","new_version":"`131d4b1`","repository_url":"https://github.com/visimp/visimp"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [visimp](https://github.com/visimp/visimp) from `9844c6f` to `131d4b1`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/92a6e92fbd1f1355183704bc66d82e90297b2275\"\u003e\u003ccode\u003e92a6e92\u003c/code\u003e\u003c/a\u003e feat: prolog ls\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/15d09b997760890c814e6369b5a3dccf873b0112\"\u003e\u003ccode\u003e15d09b9\u003c/code\u003e\u003c/a\u003e feat: rename coq to rocq\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/42b45aab0e653d95fde37d37c142a876a0aaf799\"\u003e\u003ccode\u003e42b45aa\u003c/code\u003e\u003c/a\u003e Revert \u0026quot;feat: rename coq to rocq\u0026quot;\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/3ecf5fcb6a7f263e9b877d68e5e255d4513c4480\"\u003e\u003ccode\u003e3ecf5fc\u003c/code\u003e\u003c/a\u003e feat: rename coq to rocq\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/visimp/visimp/compare/9844c6fd5929da2784b408885db4bc3c0441024e...131d4b19e206d8dfb139bb5b6a9965cb6d8e8a10\"\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/visimp/pages/pull/36","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/visimp%2Fpages/issues/36","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/36/packages"}},{"old_version":"`596a96d`","new_version":"`131d4b1`","update_type":null,"path":null,"pr_created_at":"2025-04-28T22:23:47.000Z","version_change":"`596a96d` → `131d4b1`","issue":{"uuid":"2487142154","node_id":"PR_kwDOMrROaM6UPscK","number":29,"state":"closed","title":"chore(deps): bump visimp from `596a96d` to `131d4b1`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-05-11T14:37:04.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-04-28T22:23:47.000Z","updated_at":"2025-05-11T14:37:05.000Z","time_to_close":1095197,"merged_at":"2025-05-11T14:37:04.000Z","merged_by":"foxyseta","closed_by":null,"dependency_metadata":{"prefix":"chore(deps)","packages":[{"name":"visimp","old_version":"`596a96d`","new_version":"`131d4b1`","repository_url":"https://github.com/visimp/visimp"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [visimp](https://github.com/visimp/visimp) from `596a96d` to `131d4b1`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/131d4b19e206d8dfb139bb5b6a9965cb6d8e8a10\"\u003e\u003ccode\u003e131d4b1\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/visimp/visimp/issues/157\"\u003e#157\u003c/a\u003e from visimp/feat/idris2-tree-sitter\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/visimp/visimp/commit/3ee0f2e76990007e9462deef63569d29d77dced6\"\u003e\u003ccode\u003e3ee0f2e\u003c/code\u003e\u003c/a\u003e feat: idris2 tree-sitter grammar\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/visimp/visimp/compare/596a96d26a62855117f2de559e5655ebb3b7edf0...131d4b19e206d8dfb139bb5b6a9965cb6d8e8a10\"\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/visimp/pages/pull/29","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/visimp%2Fpages/issues/29","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/29/packages"}}]}