Rename release.sh to deploy.sh

[chadwhitacre]

More accurate, no? Hopefully non-controversial. 🐭

[chadwhitacre]

Ready for review @rohitpaulk @clone1018 @kaguillera @JessaWitzel et al.

[kaguillera]

Simple enough but it needs rebasing.

[chadwhitacre]

@kaguillera I think we are okay with using the "Update branch" button to merge instead of rebase?

[kaguillera]

Fair enough, I was not sure how using the web based git would affect the code. I feel more secure with CLI

[chadwhitacre]

Yeah, I actually prefer rebase as well. I just have an up-in-the-air state locally, deep in on #4205. :-)

Otoh, you have the power to checkout and rebase this PR branch! :)

[kaguillera]

I was actually wondering about that because I think that I noticed that you have done that before

[chadwhitacre]

Yeah, just grab the branch name from the top under the title, then use that to git checkout release-deploy, do the rebase/force-push dance just like you would on one of your own PRs. Team PRs! :-)

[kaguillera]

Understood