Simple script to delete a remote git tag. When a programmer does a thing more than three times, he should make a small program.
Tags: php scripts-and-functions git
Simple script to perform the steps involved in adding, committing and pushing to a remote git repo. It rewrites the https URL to ssh URL in the process.