#!/bin/bash

echo 'checkout to master'
git checkout master

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