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

Fix backport-fixup for labels with spaces #3255

Merged
merged 1 commit into from
May 5, 2023

Conversation

jackkoenig
Copy link
Contributor

Quick fixup to #3252 for labels with spaces in them.

@jackkoenig jackkoenig added the No Release Notes Exclude from release notes, consider using Internal instead label May 5, 2023
@jackkoenig jackkoenig merged commit 8f7e7e6 into main May 5, 2023
@jackkoenig jackkoenig deleted the backport-fixup-labels-with-spaces branch May 5, 2023 21:40
jackkoenig added a commit that referenced this pull request May 5, 2023
jackkoenig added a commit that referenced this pull request May 5, 2023
mergify bot added a commit that referenced this pull request May 5, 2023
#3254)

* Add new workflow to fixup backports for release notes (#3252)

The Mergify-generated backports do not currently include the information
needed by the release notes generation automation. This new workflow
will copy such information over to backport PRs.

(cherry picked from commit 86ccd1b)

* Fix backport-fixup for labels with spaces (#3255)

(cherry picked from commit 8f7e7e6)

---------

Co-authored-by: Jack Koenig <koenig@sifive.com>
mergify bot added a commit that referenced this pull request May 5, 2023
#3253)

* Add new workflow to fixup backports for release notes (#3252)

The Mergify-generated backports do not currently include the information
needed by the release notes generation automation. This new workflow
will copy such information over to backport PRs.

(cherry picked from commit 86ccd1b)

* Fix backport-fixup for labels with spaces (#3255)

(cherry picked from commit 8f7e7e6)

---------

Co-authored-by: Jack Koenig <koenig@sifive.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
No Release Notes Exclude from release notes, consider using Internal instead
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant