Skip to content

Conversation

@carmocca
Copy link
Contributor

@carmocca carmocca commented Aug 18, 2022

What does this PR do?

These need to be adjusted after lowering the approvals from 3 to 2

cc @carmocca @akihironitta @Borda

@carmocca carmocca added the ci Continuous Integration label Aug 18, 2022
@carmocca carmocca added this to the pl:1.8 milestone Aug 18, 2022
@carmocca carmocca self-assigned this Aug 18, 2022
@mergify mergify bot added the ready PRs ready to be merged label Aug 19, 2022
@mergify mergify bot requested a review from a team August 19, 2022 05:06
@carmocca carmocca enabled auto-merge (squash) August 19, 2022 13:29
@carmocca carmocca merged commit 8662ab2 into master Aug 19, 2022
@carmocca carmocca deleted the carmocca-patch-2 branch August 19, 2022 14:05
Borda pushed a commit that referenced this pull request Aug 22, 2022
lantiga pushed a commit that referenced this pull request Aug 22, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Continuous Integration ready PRs ready to be merged

Projects

No open projects
Status: Done

Development

Successfully merging this pull request may close these issues.

4 participants