Hello, I am the maintainer of the sofa package. A few days ago I received an odd message regarding a deletion request with the reason being "dead source". I went and checked and saw no problem with the source ( [ https://www.iausofa.org/ | https://www.iausofa.org/ ] ). Looking through the interface I could not find any way to answer to the request. I had a lot of work, so I dropped the matter thinking the request would simply be dismissed as it was obviously in error. However, I received a message that this was carried out. At no point was I contacted by a human, I only ever received the cryptic automated messages that were not helpful in addressing the problem. The situation worries me a bit as this could be an attempt to hijack a low-visibility package. Besides contacting the person who has carried out the deletion, which I just did, what procedure should I follow to ensure that there is no ill-intention and that the package is fully restored? Thanks you very much.
Regards, Médéric Boquien
