Skip to content

feat: Move all Binder config files to binder directory #1

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

Merged
merged 1 commit into from
Sep 18, 2022
Merged

feat: Move all Binder config files to binder directory #1

merged 1 commit into from
Sep 18, 2022

Conversation

matthewfeickert
Copy link
Contributor

@matthewfeickert matthewfeickert commented Sep 12, 2022

* Add binder directory to make it clear to Binder where to find files.
* Move requirements.txt to binder/ and then symlink back to top level
  for user ease of use.
* Add binder/runtime.txt to specify a Python runtime of Python 3.10.
@matthewfeickert
Copy link
Contributor Author

@sauerburger this should be ready for review.

@sauerburger sauerburger merged commit 9b5e24b into sauerburger:main Sep 18, 2022
@matthewfeickert matthewfeickert deleted the feat/improve-binder-stability branch September 18, 2022 17:58
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