Unnamed repository; edit this file 'description' to name the repository.
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?
