Re: [tei-council] TEI Stylesheets Restored (whew!)

Peter— I’m looking at the Permissions on the Stylesheets repo, and I don’t see that I am owner of anything there. (How can we determine this?) What I *do* see on the Settings page is that Technical Council has “Admin” rights—that’s all of us. But there is a “Stylesheets” team of presumably 7 members that has “Write” access. When I click on the “7 members” link, I get a 404 error, so I wonder if this is the source of the problem you’re describing? The web repo has a long list of branches, including peterstadler-fix-multiple-schemaSpecs—is that the one you couldn’t push to? I *do* see the Stylesheets as one of the TEI repositories here: https://github.com/TEIC https://github.com/TEIC When you say it’s missing—is it from a different page? Elisa -- Elisa Beshero-Bondar, PhD Director, Center for the Digital Text | Associate Professor of English University of Pittsburgh at Greensburg | Humanities Division 150 Finoli Drive Greensburg, PA 15601 USA E-mail: ebb8@pitt.edu mailto:ebb8@pitt.edu Development site: http://newtfire.org http://newtfire.org/

On Nov 2, 2017, at 6:46 AM, Peter Stadler wrote:

Update: I was just trying to push to some (my) branch of the Stylesheets repo and it failed: "You may not have permission to access TEI-Stylesheets. Check Preferences to make sure you’re still logged in.“

Indeed, there seems to be a permission issue …

Peter

...

Am 02.11.2017 um 10:55 schrieb Peter Stadler :

Wow, it could have been worse!

I was just looking at the Stylesheets repo and it seems to work for me – at least I could pull … But on the GitHub page I do not see any settings. It seems all(?) rights have been transferred to you? or the TEIC maintainers? I think James once set all repo settings to read/write for every Council member. Second, I could not add the Stylesheets repo back to the pinned repositories on the Github TEIC page.

But this is more or less cosmetics, the repo and the issues seem to be there!

Cheers Peter

...

Am 02.11.2017 um 05:40 schrieb Elisa Beshero-Bondar :

Dear Council— I am relieved to report that GitHub Support promptly restored our Stylesheets repo, Issues and all(!) I’m forwarding their message.

Meanwhile, I’m taking this as an extreme note of caution about working with forks—I consider myself a pretty experienced GitHub user, and that happened a little too fast and easily for comfort.

Elisa -- Elisa Beshero-Bondar, PhD Director, Center for the Digital Text | Associate Professor of English University of Pittsburgh at Greensburg | Humanities Division 150 Finoli Drive Greensburg, PA 15601 USA E-mail: ebb8@pitt.edu mailto:ebb8@pitt.edu Development site: http://newtfire.org http://newtfire.org/

...

Begin forwarded message:

From: "lesley (GitHub Staff)" Subject: Re: help! Deleted a repo origin when I meant to delete my own fork Date: November 2, 2017 at 12:35:47 AM EDT To: Elisa Beshero-Bondar

Hi Elisa,

Repository deletions from our servers are processed quite promptly, but luckily in this instance your repository was still available for recovery. Please bear in mind that this will not always be the case.

I've gone ahead and processed the restore for you, so you should see your repository reappear shortly;

https://github.com/TEIC/Stylesheets https://github.com/TEIC/Stylesheets Let me know if you need anything else!

All the best, Lesley GitHub Support

I was attempting to delete my fork of the TEI Stylesheets repository, located at https://github.com/TEIC/Stylesheets/ https://github.com/TEIC/Stylesheets/ , but I deleted the remote origin instead! This is terrible because the TEI community depends on this repo, and we need to restore it ASAP. The repository is years old and has issues on it that we rely on track and correct TEI code. We need to restore the entire repository as it was prior to my deleting it--around 11:30pm EST on November 1, 2017.

-- tei-council mailing list tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council

PLEASE NOTE: postings to this list are publicly archived

-- tei-council mailing list tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council

PLEASE NOTE: postings to this list are publicly archived