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

Synchronize mmtk-core issue labels to other repos #991

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

Conversation

qinsoon
Copy link
Member

@qinsoon qinsoon commented Oct 20, 2023

This PR adds a Github action workflow to synchronize the issue labels in mmtk-core to our binding repos when the labels is created, modified, and deleted in mmtk-core.

@qinsoon qinsoon marked this pull request as ready for review October 22, 2023 23:11
@qinsoon qinsoon requested a review from wks October 22, 2023 23:11
@wks
Copy link
Collaborator

wks commented Oct 23, 2023

Do we want to synchronise all labels we create in the future? I have a feeling that some labels may not make sense for bindings. If we can synchronise labels using the command line utility, can we simply run the same command locally to do the synchronisation? I think that's easy enough.

@qinsoon
Copy link
Member Author

qinsoon commented Oct 23, 2023

I just think it might be a good idea to sync the labels to all the repos when I was creating those priority labels. If it is not desirable to sync the labels, we can close this PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants