Git force push

gitf.sh

gitf ()
{
    prefix="dev/$USER/"
    branch=$(git rev-parse --abbrev-ref HEAD)
    if [[ "$branch" = $prefix* ]]; then
        echo "[INFO]: Force pushing to branch '$branch'..."
        git push origin ":$branch" ; git push origin -u "$branch"
    else
        echo "[INFO]: Cannot push to branch '$branch' because it does not match prefix '$prefix'."
}
  
# My workplace disables forcing pushing on all branches
# in the repository which is stupid because some people
# use remote repos to back up their dev branches.
# They allow deleting branches, however, so essentially
# they allow force pushing, but with extra steps.
#
# This script removes the extra steps and guards
# against you accidentally trying to force push against
# a non-dev branch. 
#
# Remember, guardrails that impede workflows, do not 
# offer any real benefit, and can easily be circumvented
# are not guard rails at all--they are liabilities.
# 
# This script is a guardrail against the liability
# created by the dogmatic universal "no force push" 
# guardrail.
#
# I fly in the face of Providence.