Fix bug in PR manager causing double commits#281

puerco merged 1 commit intoslsa-framework:mainslsa-framework/source-tool:mainfrom

puerco:fix-double-commitpuerco/slsa-source-poc:fix-double-commitCopy head branch name to clipboard