The script pushdevtobeta is converted and tested as OK.