diff options
| author | Profpatsch <mail@profpatsch.de> | 2020-12-24 03:01:10 +0100 |
|---|---|---|
| committer | Profpatsch <mail@profpatsch.de> | 2020-12-29 12:46:30 +0100 |
| commit | c0a4b41afeb066b0d5eb6c0adbf6be6244966a88 (patch) | |
| tree | e6f47cba0907beac476ffc295d8493205c86aa0b /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | a629257ec5e28992ad92316362a4f4662a3001a4 (diff) | |
tree-sitter: improve update script to fetch all available grammars
The update script would only fetch the few grammars listed in the
tree-sitter repository previously. But the tree-sitter github orga has
a rather large amount of officially supported grammars.
Thus we change the script to query the github APIs for repositories
instead (up to 100 this is supported without paging).
Since the repository list also contains some that are not grammars,
there is a bash script which lists all repos we are aware of and the
ones we want to ignore. It will make sure we don’t forget any
repositories in the future, by comparing to the actual list with jq.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions
