Skip to content

Conversation

benwaffle
Copy link
Contributor

Reverts #251

See #257 for the reason. Once we shorten the hostnames, we can re-merge this PR

@benwaffle benwaffle marked this pull request as ready for review August 15, 2024 16:11
@benwaffle benwaffle merged commit 4a3b553 into master Aug 15, 2024
5 of 7 checks passed
@benwaffle benwaffle deleted the revert-251-node-name branch August 15, 2024 16:20
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