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.