Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-12-31 | scripted-diff: Bump copyright headers | MarcoFalke | |
-BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT- | |||
2020-12-21 | ci: Fix COMMIT_RANGE variable value for PRs | Hennadii Stepanov | |
2020-12-18 | ci: Install missing lint packages | MarcoFalke | |
Also merge script into ci/lint_run_all.sh because env vars weren't exported properly |