summary refs log tree commit diff
path: root/scripts-dev/next_github_number.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix typoErik Johnston2023-12-131-1/+1
* More renamingErik Johnston2023-12-131-1/+1
* Fix Shellcheck SC2006: Use $(...) notationDan Callahan2021-10-221-1/+1
* 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