Skip to content

[pull] main from ietf-tools:main#141

Merged
pull[bot] merged 2 commits into
adamlaska:mainfrom
ietf-tools:main
Sep 19, 2025
Merged

[pull] main from ietf-tools:main#141
pull[bot] merged 2 commits into
adamlaska:mainfrom
ietf-tools:main

Conversation

@pull

@pull pull Bot commented Sep 19, 2025

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

jennifer-richards and others added 2 commits September 19, 2025 11:55
* refactor: compare tokens using compare_digest

* test: test new helper

* refactor: const-time for auth_token check also
…iew of working groups (#9563)

* fix: remove deprecated iesg docs view

* fix: link from ad dashboard to ad view of working groups
@pull pull Bot locked and limited conversation to collaborators Sep 19, 2025
@pull pull Bot added the ⤵️ pull label Sep 19, 2025
@pull pull Bot merged commit 4be83ce into adamlaska:main Sep 19, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants