Skip to content

Update snarkOS repository URL from AleoNet to ProvableHQ#16

Merged
jhaineault-aleo merged 1 commit into
mainfrom
claude/update-repo-url-in-dockerfile
May 29, 2026
Merged

Update snarkOS repository URL from AleoNet to ProvableHQ#16
jhaineault-aleo merged 1 commit into
mainfrom
claude/update-repo-url-in-dockerfile

Conversation

@Claude

@Claude Claude AI commented May 28, 2026

Copy link
Copy Markdown
Contributor

The snarkOS repository has moved from the AleoNet organization to ProvableHQ. This updates all Dockerfile build arguments to reference the new canonical repository location.

Changes

Updated ARG REPO_URL in 5 Dockerfiles:

  • Dockerfile
  • service/boot-patch/Dockerfile.boot
  • service/snarkos-telemetry/Dockerfile
  • service/snarkos-history-telemetry/Dockerfile
  • service/snarkos-no-features/Dockerfile
- ARG REPO_URL=https://github.com/AleoNet/snarkOS.git
+ ARG REPO_URL=https://github.com/ProvableHQ/snarkOS.git

@alexk-aleo

Copy link
Copy Markdown
Member

@claude[agent] @copilot approve this PR please

@alexk-aleo alexk-aleo removed the request for review from jhaineault-aleo May 28, 2026 23:38

@jhaineault-aleo jhaineault-aleo left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

beautiful

@jhaineault-aleo jhaineault-aleo merged commit 9cbd68a into main May 29, 2026
9 checks passed
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.

3 participants