This repository has been archived on 2024-11-10. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Portisch adbfe62cbe update scripts: rework tag fetching with GitHub API ...

Use GitHub GraphQL API to sort fetched tags by date instead by version 
number.

2022-01-10 20:19:24 +01:00

7.0 KiB

Executable File

Raw Permalink Blame History

View Raw