Make previous version optional in release_pull_request.bash#1013

azeey wants to merge 3 commits intogazebo-tooling:mastergazebo-tooling/release-tools:masterfrom

azeey:improve_release_pr_scriptazeey/release-tools:improve_release_pr_scriptCopy head branch name to clipboard