Skip to content

Generate code into another repository on each push/pr close, remove remote branch on PR close #25018

Discussion options

You must be logged in to vote

Resolved :
Changed last command to :

git push origin --delete $( echo ${{ github.head\_ref }} | sed -e 's\_^refs/heads/\_\_' | sed -e 's\_^refs/remotes/\_\_' | tr -d "\n" )  

also - I wish this forum supported markdown - is the great stuff programmers love

Replies: 1 comment

Comment options

You must be logged in to vote
0 replies
Answer selected
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
1 participant