Skip to content

chore: move infrastructure to infra repo#342

Merged
0xKitsune merged 1 commit intomainfrom
zygis/move-infra
Sep 30, 2025
Merged

chore: move infrastructure to infra repo#342
0xKitsune merged 1 commit intomainfrom
zygis/move-infra

Conversation

@Zygimantass
Copy link
Copy Markdown
Member

moving all of this to https://github.com/tempoxyz/infrastructure, mostly because it's a pain for me to get a review everytime i want to update something and we'll open up this repo at some point, so good to not have this here

@0xKitsune 0xKitsune merged commit 81ae76e into main Sep 30, 2025
15 checks passed
@0xKitsune 0xKitsune deleted the zygis/move-infra branch September 30, 2025 09:15
legion2002 pushed a commit that referenced this pull request Oct 9, 2025
moving all of this to https://github.com/tempoxyz/infrastructure, mostly
because it's a pain for me to get a review everytime i want to update
something and we'll open up this repo at some point, so good to not have
this here
unbalancedparentheses pushed a commit to unbalancedparentheses/tempo that referenced this pull request Feb 23, 2026
moving all of this to https://github.com/tempoxyz/infrastructure, mostly
because it's a pain for me to get a review everytime i want to update
something and we'll open up this repo at some point, so good to not have
this here
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