Added a safety block on the pushdevtobeta script to check the commit has run OK.  And tidied up archive file name.
Reverted to the version on github.