Skip to content

chore: update tx3up install URL after up→tx3up rename#111

Merged
scarmuega merged 1 commit into
mainfrom
chore/rename-repo-urls
May 21, 2026
Merged

chore: update tx3up install URL after up→tx3up rename#111
scarmuega merged 1 commit into
mainfrom
chore/rename-repo-urls

Conversation

@scarmuega
Copy link
Copy Markdown
Contributor

The tx3-lang/up repository was renamed to tx3-lang/tx3up. This updates the tx3up install snippet in the setup composite action.

GitHub redirects keep the old URL working, so this is a correctness fix.

🤖 Generated with Claude Code

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@scarmuega scarmuega merged commit 79a5bfc into main May 21, 2026
6 checks passed
@scarmuega scarmuega deleted the chore/rename-repo-urls branch May 21, 2026 10:56
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