* add workflow for updating the version on pr approval
* split into script
* apply pressure
* github parameter replacement uses double braces
* remove checks and fix repo url
* change merge behavior to merge master into the pr instead
this means it will not be required to force push when we're behind on
master
* add option to use workflow on comments
* grab correct ref from comments
* get full pr info from comment
* remove shell script
* correctly deal with having a different upstream
* prettyfy