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

[🔥AUDIT🔥] Fix the label functionality. #96

Merged
merged 1 commit into from
Nov 13, 2024
Merged

[🔥AUDIT🔥] Fix the label functionality. #96

merged 1 commit into from
Nov 13, 2024

Conversation

csilvers
Copy link
Member

🖍 This is an audit! 🖍

Summary:

The way I implemented it before didn't work well with REVIEWERS. Now
it's a bit more complicated but also more principled.

Issue: https://khanacademy.atlassian.net/browse/FEI-5970

Test plan:

The comments and such on Khan/gerald#90

The way I implemented it before didn't work well with REVIEWERS.  Now
it's a bit more complicated but also more principled.

Issue: https://khanacademy.atlassian.net/browse/FEI-5970

Test plan:
The comments and such on Khan/gerald#90
@csilvers csilvers self-assigned this Nov 13, 2024
@csilvers csilvers added the audit label Nov 13, 2024
Copy link

changeset-bot bot commented Nov 13, 2024

🦋 Changeset detected

Latest commit: 7cf8f99

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 1 package
Name Type
gerald-pr Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

@khan-actions-bot
Copy link
Contributor

Gerald

Required Reviewers
  • @Khan/github-actions for changes to .changeset/tidy-mails-begin.md, actions/gerald-pr/action.yml

Don't want to be involved in this pull request? Comment #removeme and we won't notify you of further changes.

@khan-actions-bot khan-actions-bot requested a review from a team November 13, 2024 00:50
@csilvers csilvers merged commit 0ee9d97 into main Nov 13, 2024
2 checks passed
@csilvers csilvers deleted the fix-labels branch November 13, 2024 00:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants