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

release permissions #39

Merged
merged 1 commit into from
Jul 10, 2024
Merged

release permissions #39

merged 1 commit into from
Jul 10, 2024

Conversation

efriis
Copy link
Member

@efriis efriis commented Jul 8, 2024

No description provided.

@efriis
Copy link
Member Author

efriis commented Jul 9, 2024

merging - this is required to make releases on github enterprise permissions!

@efriis
Copy link
Member Author

efriis commented Jul 9, 2024

actually looks like someone might need to review. @hemidactylus fyi this will need an approve and merge to allow releases in the future!

@hemidactylus
Copy link
Collaborator

@efriis done. I confess I am not sure what this does exactly (if I recall, the PyPI release process is already working - so perhaps this is about "releases" in the github sense?).
Anyway, here's my LGTM. Feel free to merge any time :)

@hemidactylus
Copy link
Collaborator

Oh, let me merge directly, no big deal

@hemidactylus hemidactylus merged commit 2614c41 into main Jul 10, 2024
13 checks passed
@hemidactylus hemidactylus deleted the erick/release-permissions branch July 10, 2024 09:44
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