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

feat!: stop syncing labels from labels.yaml #245

Conversation

kdmccormick
Copy link
Member

@kdmccormick kdmccormick commented Jun 17, 2023

The repo_checks[1] tool now does this, and we don't want two systems simultaneously trying to create or delete labels.

Note that the bot will still add and delete a handful of labels from PRs (open-source-pull-request, core-committer, etc). What this commit changes is that the bot will not longer create nor delete labels from the entire repository.

The labels.yaml file is now unused and can be safely deleted from any openedx-webhooks data repositories.

[1] https://github.com/openedx/repo-tools/tree/master/edx_repo_tools/repo_checks

Part of: #218

The repo_checks[1] tool now does this, and we don't want two
systems simultaneously trying to create or delete labels.

Note that the bot will still *add* and *delete* a handful of labels
from *PRs* (`open-source-pull-request`, `blended`, etc).
What this commit changes is that the bot will not longer *create*
nor *delete* labels from the *entire repository*.

The `labels.yaml` file is now unused and can be safely deleted from any
openedx-webhooks data repositories.

[1] https://github.com/openedx/repo-tools/tree/master/edx_repo_tools/repo_checks

Part of: openedx#218
@kdmccormick kdmccormick force-pushed the kdmccormick/stop-syncing-labels branch from 0cd5240 to 93584d6 Compare June 17, 2023 20:35
@nedbat
Copy link
Contributor

nedbat commented Jun 20, 2023

I think it might be true that some of fake_github.py can also be removed now, since it emulates label REST API endpoints that we no longer use. It's not critical to remove it, but it will be unused code.

@nedbat
Copy link
Contributor

nedbat commented Jul 25, 2023

This has been covered in #249

@nedbat nedbat closed this Jul 25, 2023
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