Re: wrt deleted branches and closed PR in webauthn repo

Bcc WG

Hi Jeff,

It appears that my "git push --mirror" command accidentally deleted a number of branches. If you have the cloned repo. Can you push them up again? I am trying to figure out a way to undo this push but i am not sure how. Let's chat offline.

AL

_____________________________
From: Hodges, Jeff <jeff.hodges@paypal.com<mailto:jeff.hodges@paypal.com>>
Sent: Monday, March 13, 2017 8:12 AM
Subject: wrt deleted branches and closed PR in webauthn repo
To: Angelo Liao <huliao@microsoft.com<mailto:huliao@microsoft.com>>
Cc: W3C WebAuthn WG <public-webauthn@w3.org<mailto:public-webauthn@w3.org>>


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 thespec "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