File indexing completed on 2024-05-19 15:24:57

0001 #!/bin/bash
0002 
0003 branch="${1:-pre-release}"
0004 
0005 git branch -d ${branch} ; git branch ${branch} && git push origin ${branch}:${branch}