#!/bin/bash

echo 'checkout to dev'
git checkout dev

echo 'Push to origin dev'
git push origin dev
echo 'Push to osc dev'
git push osc dev