PatrickMassot/checkdecls not on reservoir

Stream: lean4

[Kim Morrison]

https://github.com/PatrickMassot/checkdecls is not on Reservoir, despite many packages in the ecosystem using it.

@Mac Malone do you know what is going on?

Is there an issue tracking the "how do I find out why a given package is missing" workflow?

Perhaps we could also have an issue for "Reservoir should notice packages that are used by indexed packages, and include them even if it otherwise wouldn't"?

[Mac Malone]

The problem here is the usual: it did not appear in the first 900 GitHub search results. Addressing this is my next TODO for Reservoir, but I have not had time to spend on it yet.

[François G. Dorais]

And perhaps leanprover, leanprover-community owned packages should be automatically indexed?

[Floris van Doorn]

It also doesn't have a LICENSE file. (@Patrick Massot)