Skip to content
New issue

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

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

Already on GitHub? # to your account

Set up mergify.yml #730

Merged
merged 1 commit into from
Aug 28, 2022
Merged

Set up mergify.yml #730

merged 1 commit into from
Aug 28, 2022

Conversation

danicheg
Copy link
Member

An attempt to set up attaching those nice labels like in http4s.

@danicheg
Copy link
Member Author

@Mergifyio refresh

@mergify
Copy link
Contributor

mergify bot commented Aug 28, 2022

refresh

✅ Pull request refreshed

@danicheg
Copy link
Member Author

It looks like we have to merge this first to try to test (otherwise Mergify isn't applying configuration changes in this PR). So my plan is that I merge and try to test this in another PR. Hopefully, all will be good, or I'll do a revert.

@danicheg danicheg merged commit 02a9795 into http4s:series/0.23 Aug 28, 2022
@danicheg danicheg deleted the mergify branch August 28, 2022 18:07
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant