Skip to content

Conversation

@asinghvi17
Copy link
Contributor

I got a bit confused, thought this documentation might be useful

I got a bit confused, thought this documentation might be useful
@mortenpi mortenpi added the documentation Improvements or additions to documentation label Feb 5, 2025
@mortenpi mortenpi changed the title mention what server is in JuliaHub.authenticate docs: mention what server is in JuliaHub.authenticate Feb 5, 2025
@mortenpi mortenpi enabled auto-merge (squash) February 5, 2025 00:19
Copy link
Member

@mortenpi mortenpi left a comment

Choose a reason for hiding this comment

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

Thanks!

@mortenpi mortenpi merged commit 36ff074 into main Feb 5, 2025
14 checks passed
@mortenpi mortenpi deleted the asinghvi17-patch-1 branch February 5, 2025 00:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants