add a script to automatically merge devel to master
add git push