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

🔄 Synced file(s) with playframework/.github #792

Merged
merged 1 commit into from
Sep 14, 2022
Merged

Conversation

ihostage
Copy link
Member

Synced local file(s) with playframework/.github.

Changed files
  • Synced local .mergify.yml with remote .mergify.yml

This PR was created automatically by the repo-file-sync-action workflow run #3052335818

@ihostage ihostage added the sync label Sep 14, 2022
@mkurz mkurz merged commit 1977df7 into main Sep 14, 2022
@mkurz mkurz deleted the repo-sync/github/default branch September 14, 2022 11:24
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants