Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enable Mergify for this repo #117

Closed
nshalman opened this issue Nov 16, 2021 · 2 comments
Closed

Enable Mergify for this repo #117

nshalman opened this issue Nov 16, 2021 · 2 comments
Assignees
Labels
kind/feature Categorizes issue or PR as related to a new feature.

Comments

@nshalman
Copy link
Member

Expected Behaviour

Approved PR with ready-to-merge tag gets merged

Current Behaviour

Approved PR with ready-to-merge tag doesn't get merged

@nshalman nshalman added kind/feature Categorizes issue or PR as related to a new feature. priority/important-longterm and removed kind/feature Categorizes issue or PR as related to a new feature. labels Nov 16, 2021
@detiber
Copy link
Contributor

detiber commented Nov 16, 2021

@detiber
Copy link
Contributor

detiber commented Jan 26, 2022

Resolved by #131

@detiber detiber closed this as completed Jan 26, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/feature Categorizes issue or PR as related to a new feature.
Projects
None yet
Development

No branches or pull requests

2 participants