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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove unnecessary checkout in binder button action #28

Merged
merged 1 commit into from Jun 25, 2020

Conversation

manics
Copy link
Member

@manics manics commented Jun 25, 2020

I discovered this a few hours ago, I was going to suggest making this cleanup and using it as an example for binderhub but now you've posted it on #25 (comment) 馃榾.

@manics manics changed the title Remove unnecessary checkout Remove unnecessary checkout in binder button action Jun 25, 2020
@manics
Copy link
Member Author

manics commented Jun 25, 2020

Hmmm, I guess for the action to post a comment it needs access to the GITHUB_TOKEN, which isn't accessible in PRs from external contributors?

@hamelsmu
Copy link
Collaborator

No it isn't accessible from forks because of the way secrets work in Actions.... thanks for the change though

@hamelsmu hamelsmu merged commit be1f306 into jupyterhub:master Jun 25, 2020
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.

None yet

2 participants