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

Beautify mergify #434

Merged
merged 3 commits into from
Jun 16, 2022
Merged

Conversation

vatanaksoytezer
Copy link
Contributor

Slightly modifies the mergify messages and labels to be more understandable, if liked I'll open a similar PR to moveit2 as well

@vatanaksoytezer vatanaksoytezer added backport-foxy This label signals Mergify to backport this PR to Foxy backport-galactic This label signals Mergify to backport this PR to Galactic backport-humble This label signals Mergify to backport this PR to Humble labels Jun 11, 2022
@vatanaksoytezer vatanaksoytezer force-pushed the vatan/beatufiy_mergify branch from 19c042d to e3b0f5b Compare June 11, 2022 12:03
@henningkayser henningkayser merged commit 49a7248 into moveit:main Jun 16, 2022
mergify bot pushed a commit that referenced this pull request Jun 16, 2022
(cherry picked from commit 49a7248)
mergify bot pushed a commit that referenced this pull request Jun 16, 2022
(cherry picked from commit 49a7248)
mergify bot pushed a commit that referenced this pull request Jun 16, 2022
(cherry picked from commit 49a7248)
vatanaksoytezer pushed a commit that referenced this pull request Jun 16, 2022
vatanaksoytezer pushed a commit that referenced this pull request Jun 16, 2022
vatanaksoytezer pushed a commit that referenced this pull request Jun 16, 2022
@tylerjw tylerjw mentioned this pull request Feb 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport-foxy This label signals Mergify to backport this PR to Foxy backport-galactic This label signals Mergify to backport this PR to Galactic backport-humble This label signals Mergify to backport this PR to Humble
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants