#!/bin/bash
git checkout master
git merge origin/US1
git push
git push origin --delete US1