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

DX: update Epic label to include emoji #469

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

Conversation

shenvitor
Copy link
Member

@shenvitor shenvitor commented Dec 3, 2024

See #468

@shenvitor
Copy link
Member Author

To do this, I need additional changes for the PR linting / lint-pr / Check labels (pull_request) job

@shenvitor shenvitor self-assigned this Dec 3, 2024
@redeboer
Copy link
Member

redeboer commented Dec 3, 2024

Well spotted 😁 That would be another PR in ComPWA/actions.

We also may have to add more repos to the sync-labels.yml workflow of this repo and run it through workflow dispatch once the PR has been merged. That's what the labels.toml is for.

@shenvitor shenvitor added the Epic Collection of issues label Dec 14, 2024
@shenvitor
Copy link
Member Author

shenvitor commented Dec 14, 2024

@redeboer I think for this PR the next step is for you (who have the right) to change the default labels to use of this organization, see if the check labels test pass, and merge if it goes well :)

Copy link
Member

@redeboer redeboer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice 🈺
We also need to update this in order to close #468.

@redeboer redeboer added 🖱️ DX Improvements to the Developer Experience and removed Epic Collection of issues labels Dec 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🖱️ DX Improvements to the Developer Experience
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants