#!/bin/bash
git checkout master && git merge dev && git push && git checkout dev