git push origin develop (with tags)

From https://github.com/rsp/scripts

Usage: gpodt

Source: https://rawgit.com/rsp/scripts/master/gpodt

Runs: git push origin develop --tags

It should be run in a git repo. Written only for convenience.