[tei-council] Fwd: help! Deleted a repo origin when I meant to delete my own fork

So, I updated the current release manually. Do you think we should do this for the others, as well?! Cheers Peter

Anfang der weitergeleiteten Nachricht:

Von: "Stacey Burns (GitHub Staff)" Betreff: Aw: help! Deleted a repo origin when I meant to delete my own fork Datum: 3. November 2017 um 14:35:48 MEZ An: Peter Stadler Kopie: TEI Council

Hi Peter,

I'm afraid this is expected behaviour when we restore repositories.

The files that were previously uploaded aren't restored with the repository.

We do have an issue opened internally to investigate ways to improve the current behaviour but in the meantime, the files will need to be uploaded again to the release.

Cheers Stacey

Dear GitHub support,

thanks for restoring our repo at https://github.com/TEIC/Stylesheets 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 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... 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