search

KWARC / LaTeXML

LaTeXML is a TeX and LaTeX to XML translator.
Other
4 stars 0 forks source link

DELETE repository #12

Closed dginev closed 5 years ago

dginev commented 5 years ago

cc @kohlhase @tkw1536 and @brucemiller

Unsure if we should make a call to the community to see if someone is still using this fork, but now that all KWARC work is phased away from it, I would strongly recommend fully removing this github repository.

It also helps to avoid unneeded confusion that this fork is maintained/may be mantained in the future, which it isn't / won't be.

Let's see if this sounds good to everyone?

tkw1536 commented 5 years ago

I think archiving it (i.e. making it read-only) is the better option.

dginev commented 5 years ago

To what merit? It's more likely that any use of this repository - old or new - is more harmful than beneficial.

kohlhase commented 5 years ago

I rather prefer archiving -- it seems wrong to throw away history --. For me it would be important that it disappears from the official LaTeXML forks list.

tkw1536 commented 5 years ago

Since there were no further comments, I'll go ahead and archive this repository.