Skip to content

Mount the secret as jovyan so it can be copied - #17

Merged
choldgraf merged 1 commit into
mainfrom
bug/fix-mount-user
Aug 25, 2026
Merged

Mount the secret as jovyan so it can be copied#17
choldgraf merged 1 commit into
mainfrom
bug/fix-mount-user

Conversation

@choldgraf

Copy link
Copy Markdown
Contributor

I thiiiink this could fix our permissions problem on the appendix step - I'll merge this and see if it works since this doesn't run on a PR

@github-actions

Copy link
Copy Markdown

Binder 👈 Test this PR on Binder

@choldgraf
choldgraf merged commit 9e01423 into main Aug 25, 2026
2 checks passed
@choldgraf
choldgraf deleted the bug/fix-mount-user branch August 25, 2026 18:29
@choldgraf

Copy link
Copy Markdown
Contributor Author

Merging this since the image builds are broken right now anyway 🙃

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.

1 participant