Activity
ci(mergify): upgrade configuration to current format
ci(mergify): upgrade configuration to current format
Force push
ci(mergify): upgrade configuration to current format
ci(mergify): upgrade configuration to current format
Force push
Deleted branch
fix: improve how we detect that the PR is managed by Mergify
fix: improve how we detect that the PR is managed by Mergify
on Jan 21
Deleted branch
fix: improve how we detect that the PR is managed by Mergify
fix: improve how we detect that the PR is managed by Mergify
on Jan 15
Deleted branch
fix: improve how we find the new merge box
fix: improve how we find the new merge box
on Jan 7
Deleted branch
on Dec 30, 2024
fix: inject buttons in the right place
fix: inject buttons in the right place
on Dec 30, 2024
Deleted branch
on Dec 20, 2024
fix: inject buttons only on pull request page
fix: inject buttons only on pull request page
on Dec 20, 2024
Deleted branch
on Dec 19, 2024
feat: support new GitHub merge box
feat: support new GitHub merge box
on Dec 18, 2024
Deleted branch
on Dec 13, 2024
Revert "feat: support new GitHub merge box (#27)"
Revert "feat: support new GitHub merge box (#27)"
on Dec 13, 2024
Deleted branch
on Dec 13, 2024
feat: support new GitHub merge box
feat: support new GitHub merge box
Force push
on Dec 12, 2024
Deleted branch
on Dec 12, 2024
feat: support new GitHub merge box
feat: support new GitHub merge box
on Dec 12, 2024