Add another push script to the bin dir. This script pushes public dev to public master ready for me to push something new to public dev afterward.