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

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

From: Hodges, Jeff <jeff.hodges@paypal.com>
Date: Mon, 13 Mar 2017 18:42:49 +0000
To: W3C WebAuthn WG <public-webauthn@w3.org>
Message-ID: <356FD8BF-D844-46B6-B019-9527FECEDF04@paypal.com>
no worries, I messed up and deleted a bunch of branches back in Sept (sigh)

so the jeffh-attstn-and-keygen branch is old/stale and I may or may not restore it.  thanks, =JeffH



On 3/13/17, 11:25 AM, "Angelo Liao" <huliao@microsoft.com<mailto:huliao@microsoft.com>> wrote:

Hi Guys,

I am so sorry about the below hiccup. I made a “git push mirror” command and it made the remote a mirror of my local repo. Since my local repo only has two branches, it closes down a number of branches.

Throughout the morning, I have been talking with a number of git experts in my team. They all end up suggesting that there is no clean way to roll back a push and the best way to get it back up to this is if individuals who own each branch update their own branch. The names of the deleted and not recovered branch are:

  *   acz
  *   jeffh-attstn-and-keygen
  *   rolf-modular-attestation-changes

Can folks please do a git push command and send up their individual branch?

Thank you so much! Also extra thank you to J.C. and Jeff for helping out!

P.S. I will work on my local repo from now on.

So sorry!
AL

From: Hodges, Jeff [mailto:jeff.hodges@paypal.com]
Sent: Monday, March 13, 2017 10:13 AM
To: W3C WebAuthn WG <public-webauthn@w3.org>
Subject: 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.

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 18:43:25 UTC

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