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

Sync PR labels with closing issues #1113

Merged
merged 1 commit into from
Oct 24, 2024
Merged

Sync PR labels with closing issues #1113

merged 1 commit into from
Oct 24, 2024

Conversation

wd60622
Copy link
Contributor

@wd60622 wd60622 commented Oct 23, 2024

Related to #1087
Follow up to #1112


📚 Documentation preview 📚: https://pymc-marketing--1113.org.readthedocs.build/en/1113/

@wd60622
Copy link
Contributor Author

wd60622 commented Oct 24, 2024

Might need to figure out the permissions on this but I think this might be good.

TODO:

  • Check permission and environment variables
  • Handle no issue case. (Doesn't seem to be an issue)

Copy link
Collaborator

@juanitorduz juanitorduz left a comment

Choose a reason for hiding this comment

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

Let's try this out! (I am not a JavaScript expert)

@juanitorduz juanitorduz merged commit edd7c62 into main Oct 24, 2024
8 checks passed
@wd60622 wd60622 deleted the sync-closing-labels branch October 24, 2024 11:59
@juanitorduz
Copy link
Collaborator

@wd60622 wd60622 mentioned this pull request Oct 24, 2024
6 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants