- From: Hodges, Jeff <jeff.hodges@paypal.com>
- Date: Mon, 13 Mar 2017 17:13:28 +0000
- To: W3C WebAuthn WG <public-webauthn@w3.org>
- Message-ID: <02F6E6C0-58CC-40BC-AAD3-727FC0810712@paypal.com>
JC helped us fix the gh-pages branch portion of our repo issues (thx!), here's his insights... The gh-pages issue is fixed; I went to Travis CI's Branches [1] view, selected the most recent build for Master [2], and then used the button in the top-right to restart the build -- that regenerated things. Cheers, J.C. [1] https://travis-ci.org/w3c/webauthn/branches [2] https://travis-ci.org/w3c/webauthn/builds/208395085 Note: travis-ci just clobbers `gh-pages` whether it exists or not. :) On 3/13/17, 8:18 AM, "Angelo Liao" <huliao@microsoft.com<mailto:huliao@microsoft.com>> wrote: 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
Received on Monday, 13 March 2017 17:14:04 UTC