Skip to content

iroh naming of discovery & holepunching has changed#33

Merged
okdistribute merged 2 commits intomainfrom
rae/fix-naming
Mar 17, 2026
Merged

iroh naming of discovery & holepunching has changed#33
okdistribute merged 2 commits intomainfrom
rae/fix-naming

Conversation

@okdistribute
Copy link
Contributor

fixes #30 and #25

@okdistribute okdistribute requested a review from flub March 5, 2026 20:08
@okdistribute okdistribute changed the title naming has changed iroh naming of discovery & holepunching has changed Mar 5, 2026
Copy link

@flub flub left a comment

Choose a reason for hiding this comment

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

Looks good!

Don't think this quite fully fixed #30 though, I imagine that page also needs renaming and some more work. But #25 should be fixed with this.

@okdistribute okdistribute merged commit d7831ad into main Mar 17, 2026
3 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.

"Discovery Servers" terminology still used

2 participants