Auto merge of #2947 - oli-obk:gha_mk_pr, r=RalfJung

Try to fix cronjob PR creation

The main tests use `bash` several times, maybe that is the issue here, too?
This commit is contained in:
bors 2023-06-29 10:13:00 +00:00
commit 3c3a17f27f

Diff content is not available