Re: [webauthn] Consider replacing "Github" with "GitHub" (#2007) from Arian van Putten via GitHub on 2023-12-19 (public-webauthn@w3.org from December 2023)

From: Arian van Putten via GitHub <sysbot+gh@w3.org>
Date: Tue, 19 Dec 2023 09:32:47 +0000
To: public-webauthn@w3.org
Message-ID: <issue_comment.created-1862415840-1702978364-sysbot+gh@w3.org>

It's a single letter change. Sounds less effort to send a PR for this than to have written this entire issue 😅

-- 
GitHub Notification of comment by arianvp
Please view or discuss this issue at https://github.com/w3c/webauthn/issues/2007#issuecomment-1862415840 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Tuesday, 19 December 2023 09:32:50 UTC