Introduce develop_git for conversion from develop.svn to develop.git

This is a possible location for the script to open the pull request. We'll see how things make sense as this gets built out.