3 Commits

Author	SHA1	Message	Date
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