bug: reservoir not listing my package

[somombo]

Reservoir updates its index approximately daily. If your package meets the above conditions, but does not appear on Reservoir after a few days, you can report this as a bug on Reservoir's issue tracker.

I believe my package swaps-perm meets all the required criteria but still has not shown up after several days.

cc @tydeu

[tydeu]

Reservoir uses the following GH API invocation to search for Lean/Lake packages:

gh api search/code --paginate --cache 1h -X GET -f 'q=filename:lake-manifest.json path:/' -q '.items[] | .repository.node_id'

If you try the following variant of that command, you can get a sorted listing of the repositories it finds:

gh api search/code --paginate --cache 1h -X GET -f 'q=filename:lake-manifest.json path:/' -q '.items[] | "\(.repository.owner.login)/\( .repository.name)"' | sort

For a reason I am not clear on, GitHub is not including your swaps-perm package in these search results. However, It does include your murder-mystery and supertype repositories in the results.

The good news is I will be working on a manual registration process on my end soon. That way I can add packages even if they do not surface in GitHub for some reason. But until then, Reservoir is constrained by what GitHub search chooses to return. I apologize for the inconvenience. 😞

[joneugster]

I believe https://github.com/hhu-adam/lean-i18n is also meeting all criterias but is not included.

[siddhartha-gadgil]

I believe https://github.com/leanprover-community/LeanSearchClient is also being missed