jj/.github
Austin Seipp fe9ea505b6 github: add merge_group event to several workflows
These are the workflows that run on PRs, so they need to have the `merge_group`
event added to them if we want to use the merge queue.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2025-01-07 21:26:57 -06:00
..
ISSUE_TEMPLATE docs/cli: update URLs to from martinvonz user to jj-vcs org 2024-12-17 12:44:44 -08:00
scripts docs/cli: update URLs to from martinvonz user to jj-vcs org 2024-12-17 12:44:44 -08:00
workflows github: add merge_group event to several workflows 2025-01-07 21:26:57 -06:00
dependabot.yml github: reenable grouped cargo updates 2023-12-16 14:40:39 +09:00
PULL_REQUEST_TEMPLATE.md docs/cli: update URLs to from martinvonz user to jj-vcs org 2024-12-17 12:44:44 -08:00