krcroft 106b45ef2d Move to GitHub's v2 API when checking out ... v2 will: - Checkout over SSH - use Git's REST API, when git is version 2.18 or newer - No longer detaches HEAD when checking out a branch - Fetches one-commit deep by default When building releases where we expect full history plus tags, we explicitly get them with `git fetch --prune --unshallow`.		2020-04-27 03:52:41 +02:00
..
scripts	Expand use and support for LTO and FDO builds	2020-04-01 08:03:39 +02:00
workflows	Move to GitHub's v2 API when checking out	2020-04-27 03:52:41 +02:00