dependabot[bot]
cf6c2064a0
Bump actions/checkout from 1 to 4
...
Bumps [actions/checkout](https://github.com/actions/checkout ) from 1 to 4.
- [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/v1...v4 )
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
2025-05-16 11:33:56 +02:00
Alexander Aleksandrovič Klimov
018a0c936d
GHA: AUTHORS: use sed(1), not grep(1)
...
grep(1)'s exit code causes the GHA to fail in contrast to sed(1).
2025-05-16 10:54:24 +02:00
Alexander Aleksandrovič Klimov
291ee17ca8
GHA: AUTHORS: ignore dependabot[bot]
2025-03-17 12:34:00 +01:00
Alexander A. Klimov
82e9c71001
GHA AUTHORS check: handle PRs from forks
...
where the ref names differ compared to own PRs. Instead refer to the base branch and the head branch via generic HEAD^<parent number> where HEAD is a merge commit.
2024-01-18 17:22:35 +01:00
Alexander A. Klimov
8025e0259a
GHA: complain if PR adds commits from people not yet listed in ./AUTHORS
...
not to have to update ./AUTHORS or .mailmap after merging.
2023-11-21 12:40:16 +01:00
