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

Dear GitHub support, thanks for restoring our repo at https://github.com/TEIC/Stylesheets. We are back and running but I just discovered that all(?) download links on the release page (https://github.com/TEIC/Stylesheets/releases) to attached binaries do not work, see e.g. https://github.com/TEIC/Stylesheets/releases/download/v7.43.0/tei-xsl-7.43.0... – instead returning a nice API error saying "The specified key does not exist“. Is it possible to get those links working again or do we have to re-add them manually? Many thanks Peter

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

...

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.