5 Commits

Author SHA1 Message Date
Mathieu Tortuyaux
b75ac10c7a
.github: sign off commits produced by automation
Signed-off-by: Mathieu Tortuyaux <mtortuyaux@microsoft.com>
2025-07-24 09:31:42 +02:00
Krzesimir Nowak
a7926df927 .github: Bump github actions 2024-02-07 17:50:06 +01:00
Dongsu Park
b2e55c063a .github: skip touching open PRs when the remote branch exists
To avoid noise of touching existing PRs, check first if the remote
branch already exists. If that exists, skip creating or updating the PR.
2023-05-03 17:37:34 +02:00
Dongsu Park
9597661ead .github: use personal access token for bot PRs
Use a dedicated personal access token BOT_PR_TOKEN for bot PRs instead
of the default GITHUB_TOKEN. It is needed for triggering another
workflow from pull requests created by Github Actions. The default
GITHUB_TOKEN is by design not able to trigger another workflow.

See also
https://docs.github.com/en/actions/using-workflows/triggering-a-workflow#triggering-a-workflow-from-a-workflow
2023-04-28 15:13:57 +02:00
Krzesimir Nowak
49cbb5d3dc .github: Port kernel update action from old coreos-overlay 2023-04-17 17:24:30 +02:00