#!/bin/sh # gpodt - git push origin develop (with tags) # see: https://github.com/rsp/scripts/blob/master/gpodt.md git push origin develop --tags