Harmen Stoppels 98570929aa builtin: github url pull -> commit (#50399) ... rate limits on github.com's pull/ urls are ~1 per minute, the rate limits for merged commits are better and on top of that less dynamic.		2025-05-09 15:25:39 +02:00
..
spack	builtin: github url pull -> commit (#50399)	2025-05-09 15:25:39 +02:00