Add github action to create PR against homebrew-core on release#5468

hannes-steffenhagen-diffblue merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

hannes-steffenhagen-diffblue:CD/create-homebrew-pr-on-releasehannes-steffenhagen-diffblue/cbmc:CD/create-homebrew-pr-on-releaseCopy head branch name to clipboard