2 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
Krzesimir Nowak	165e99713b	.github: Port rust update action from old coreos-overlay	2023-04-17 17:25:19 +02:00