#!/bin/bash

git push --all
git push --tags