summary refs log tree commit diff
path: root/scripts-dev/next_github_number.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* Use interpreter from $PATH instead of absolute paths in various scripts using...Quentin Gliech2021-03-251-2/+2
* Reduce the load on our CI (#3957)Amber Brown2018-09-271-0/+9