Re: [administrivia] wrt deleted branches and closed PR in webauthn repo

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.




Note: travis-ci just clobbers `gh-pages` whether it exists or not. :)

On 3/13/17, 8:18 AM, "Angelo Liao" <<>> 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.


From: Hodges, Jeff <<>>
Sent: Monday, March 13, 2017 8:12 AM
Subject: wrt deleted branches and closed PR in webauthn repo
To: Angelo Liao <<>>
Cc: W3C WebAuthn WG <<>>

Hi Angelo,

It seems you deleted various branches from the webauthn repo, including closing PR#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"<> 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<> ?   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?



Received on Monday, 13 March 2017 17:14:04 UTC