#!/bin/bash -e

# Copy your current branch to a "publishing" remote.
#
# By default, this remote is origin. However, you can set `publish.remote` to
# publish to another repository (eg. my-fork).

REMOTE="$(git config publish.remote || echo "origin")"

exec git push --force-with-lease "$@" "${REMOTE}" HEAD