W3C home > Mailing lists > Public > public-webauthn@w3.org > March 2017

wrt deleted branches and closed PR in webauthn repo

From: Hodges, Jeff <jeff.hodges@paypal.com>
Date: Mon, 13 Mar 2017 15:12:49 +0000
To: Angelo Liao <huliao@microsoft.com>
CC: W3C WebAuthn WG <public-webauthn@w3.org>
Message-ID: <0C5A5C25-D163-4D60-A058-9DFF7AB607E2@paypal.com>
Hi Angelo,

It seems you deleted various branches from the webauthn repo, including closing PR# 371<https://github.com/w3c/webauthn/pull/371> and the branch it pulls from jeffh-fixup-getA-polish-algs, which was not as yet merged :(

Also, you apparently deleted the gh-pages branch, from which the spec "editors' draft"<https://w3c.github.io/webauthn/> is sourced, so that the latter now 404s :(

In general, we should not delete branches that are not "ours", and if someone is wishing to do an overall repo cleanup, they should query the list regarding the ramifications before doing so.

Would you please be so kind as to re-open PR# 371<https://github.com/w3c/webauthn/pull/371> ?   I can/will re-push the branch up to the repo.

I suppose you can restore the gh-pages branch, depending on the state of your repo clone?

thanks,

=JeffH

Received on Monday, 13 March 2017 15:13:24 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 07:26:25 UTC