Little bash script to help create and pushing tags through PhpStorm