Allow deprecation of Library Manager libraries

[MHotchin]

A library I wrote has been rolled up into another library. Is there a way to 'deprecate' my library, so that users are pointed towards the newest version of the other library?

In my case, the OLD (to be deprecated) library is:
https://github.com/MHotchin/Waveshare4InchTftShield

It has been merged into:
https://github.com/ImpulseAdventure/Waveshare_ILI9486

[per1234]

I suggest making a final release of the deprecated library which does two things:

• Adds a deprecation notice to the sentence value in library.properties
• Adds a #warning to the code that displays a deprecation notice in the console when the library is compiled (assuming the user has warnings enabled)

Although it doesn't apply to your case, it is worth mentioning for the benefit of others that if it's only a matter of wanting to change the name of a repository or transfer it to another user, GitHub has features to allow this to be done with the existing repository, rather than needing to create a copy. When you do it that way, GitHub sets up a redirect from the original URL to the new repository. This could eliminate the need to do a deprecation in these cases. Even though there is the redirect, it's probably a good idea to open an issue here requesting the URL in the Library Manager index be updated.

---

It would be interesting to consider how Library Manager could provide formal support for deprecation, I suppose this would require the addition of a field in library.properties

I think the process I described above is reasonably effective. The primary flaw is that compiler warnings are disabled by default.