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

Clean up #121

Merged
merged 2 commits into from
Jun 15, 2023
Merged

Clean up #121

merged 2 commits into from
Jun 15, 2023

Conversation

brian-rose
Copy link
Member

A bunch of clean-up to the Template prior to the 2023 hackathon:

  • Point all Binder links to the new Pythia binder at https://binder.projectpythia.org
  • Updates to pre-commit hooks
  • Formatting fixes from running pre-commit locally
  • Update copyright year
  • Add a few more helpful comments in the _config file

To address #119 I plan to switch on the pre-commit.ci service for this repo to keep this stuff up to date in the template, but leave it as completely optional for individual cookbooks.

@github-actions
Copy link

github-actions bot commented Jun 15, 2023

👋 Thanks for opening this PR! The Cookbook will be automatically built with GitHub Actions. To see the status of your deployment, click below.
🔍 Git commit SHA: 69d18fc
✅ Deployment Preview URL: https://ProjectPythia.github.io/cookbook-template/_preview/121

@brian-rose brian-rose marked this pull request as ready for review June 15, 2023 18:04
@brian-rose
Copy link
Member Author

As a few of the infrastructure folks discussed today, this PR also preserves the default option of executing notebooks on GitHub Actions. We will switch individual cookbooks over to building on the Binder on an as-needed basis.

However the Pythia Binder is now the default platform for interactive use of the Cookbooks, even for Cookbooks that don't run their nightly builds on the Binder.

@brian-rose brian-rose merged commit 0edefcd into ProjectPythia:main Jun 15, 2023
@brian-rose brian-rose deleted the clean-up branch June 15, 2023 18:12
github-actions bot pushed a commit that referenced this pull request Jun 15, 2023
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