Skip to content

Creating GitHub summary for JOSE WG#139

Merged
mnot merged 1 commit intoietf-github-services:mainfrom
michael-p-1:main
Feb 11, 2026
Merged

Creating GitHub summary for JOSE WG#139
mnot merged 1 commit intoietf-github-services:mainfrom
michael-p-1:main

Conversation

@michael-p-1
Copy link
Contributor

Hi,

I'm adding JOSE to the list of WGs covered by these GitHub summaries

@mnot mnot merged commit 81eb763 into ietf-github-services:main Feb 11, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants