Skip to content

chore: Learn Hathor website - #1

Merged
luislhl merged 13 commits into
masterfrom
chore/learn-hathor-website
Jan 21, 2026
Merged

chore: Learn Hathor website#1
luislhl merged 13 commits into
masterfrom
chore/learn-hathor-website

Conversation

@luislhl

@luislhl luislhl commented Dec 12, 2025

Copy link
Copy Markdown
Contributor

Acceptance Criteria

Disclaimer: AI agents were used to build most of this PR

  • Create a new website for learn.hathor.network from the ground up. It should:
    • Allow choosing a notebook to build a new Jupyter environment for it by talking to our BinderHub
    • Show the progress of the build
    • Show some general information about limits we setup in BinderHub
  • Create the CI/CD to deploy to the staging and production websites:
    • master branch will deploy to staging
    • Tags of type learn-hathor-website@1.2.3 will deploy to production

@luislhl luislhl self-assigned this Dec 12, 2025
@luislhl luislhl moved this from Todo to In Progress (WIP) in Hathor Network Dec 12, 2025
@luislhl luislhl moved this from In Progress (WIP) to In Progress (Done) in Hathor Network Dec 19, 2025
@github-project-automation github-project-automation Bot moved this from In Progress (Done) to In Review (WIP) in Hathor Network Jan 21, 2026
@luislhl
luislhl merged commit 5887b51 into master Jan 21, 2026
3 checks passed
@github-project-automation github-project-automation Bot moved this from In Review (WIP) to Waiting to be deployed in Hathor Network Jan 21, 2026
@luislhl
luislhl deleted the chore/learn-hathor-website branch January 21, 2026 20:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants