11 Commits

Author SHA1 Message Date
45a85806b5 Bump actions/checkout from 2 to 3
Bumps [actions/checkout](https://github.com/actions/checkout) from 2 to 3.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v2...v3)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-03-07 03:01:36 +00:00
47938e674d Bump build-tools from 17-SNAPSHOT to 17 2021-11-25 10:08:30 +01:00
4bfb35cb86 Use GITHUB_TOKEN or deploy key
Also use pmd-bot@users.noreply.github.com as committer email.
2021-10-15 12:09:22 +02:00
6c60196bc1 Use build-tools 17-SNAPSHOT 2021-09-27 20:02:03 +02:00
fbdcec348b Bump build-tools from 15-SNAPSHOT to 15 2021-07-30 12:12:40 +02:00
0b6c0594f1 Use build-tools scripts 14 2021-06-11 17:47:08 +02:00
b73afc47f7 Bump build-tools from 11 to 12 2021-05-06 10:25:28 +02:00
4b4af8c12f [ci] Increase fetch depth for git-repo-sync 2021-04-24 16:15:09 +02:00
fe9bf3c352 Bump build-tools from 10 to 11 2021-04-22 10:59:51 +02:00
a09e38471f [ci] Run git-repo-sync only on pushes, not on pull requests
Also remove unneeded actions
2021-04-18 19:57:50 +02:00
2ad755f963 [ci] Add git-repo-sync 2021-04-18 19:50:52 +02:00