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.

Sign up for GitHub

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

Jump to bottom

use `:` separator for formulated task name #151440

Merged

meganrogge merged 1 commit into main from merogge/task-label

Jun 8, 2022

Contributor

meganrogge commented Jun 7, 2022 •

edited

This PR fixes #149676


          fix 49676

785792d

meganrogge self-assigned this

meganrogge requested a review from alexr00

June 7, 2022 16:46

meganrogge added this to the June 2022 milestone

alexr00 approved these changes

View reviewed changes

meganrogge merged commit 1b093f9 into main

meganrogge deleted the merogge/task-label branch

June 8, 2022 16:53

github-actions bot locked and limited conversation to collaborators

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.