Skip to content

ci: remove auth on port 8080#7903

Merged
rjsparks merged 1 commit intoietf-tools:mainfrom
jennifer-richards:no-auth-8080
Sep 5, 2024
Merged

ci: remove auth on port 8080#7903
rjsparks merged 1 commit intoietf-tools:mainfrom
jennifer-richards:no-auth-8080

Conversation

@jennifer-richards
Copy link
Copy Markdown
Member

It's now on port 80

It's now on port 80
@rjsparks rjsparks merged commit 2a6fd3e into ietf-tools:main Sep 5, 2024
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Sep 9, 2024
@jennifer-richards jennifer-richards deleted the no-auth-8080 branch November 7, 2024 15:59
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants