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

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