From 99330b94be34db9e67feeeeaa4ff38daafa0b188 Mon Sep 17 00:00:00 2001
From: William Hilton <wmhilton@gmail.com>
Date: Wed, 9 Oct 2019 17:16:09 -0400
Subject: [PATCH] add `g push!`

---
 README.md | 2 ++
 bin/g     | 5 +++++
 bin/g^^   | 2 ++
 3 files changed, 9 insertions(+)
 create mode 100755 bin/g^^

diff --git a/README.md b/README.md
index e940086..fd34928 100644
--- a/README.md
+++ b/README.md
@@ -83,6 +83,7 @@ g clone *PATH* | git clone --recurse-submodules [-b *branch*] *PATH* <ul><li> Pa
 g fetch | Fetches all remotes and fast-forwards local branches when possible
 g fetch *branches* | Fetches and fast-forwards the specified branches
 g push | pushes to upstream. <ul><li> If upstream not set, prompt user to name a remote branch. </li> <li> If multiple remotes exist, prompt for which remote to use. </li></ul>
+g push! | git push --force-with-lease
 g remote | Interactive prompt to add a remote.
 g ff | git pull --ff-only
 g fff | deletes the local branch and rechecks it out (useful when remote branch has been force-pushed and can't be fast-forwarded)
@@ -112,6 +113,7 @@ g ! | g commit
 g @ | g branch
 g # | g tag
 g ^ | g push
+g ^^ | g push!
 
 
 ### Why?
diff --git a/bin/g b/bin/g
index 2736369..e1b3a09 100755
--- a/bin/g
+++ b/bin/g
@@ -416,6 +416,11 @@ else
 fi
 ;;
 
+^^ | push!)
+echo 'Force push with lease'
+git push --force-with-lease
+;;
+
 remote)
 read -ep "What is the URL for this remote repo?: " remote_url
 read -ep "Choose an alias for this remote [origin]: " remote_alias
diff --git a/bin/g^^ b/bin/g^^
new file mode 100755
index 0000000..f226ba6
--- /dev/null
+++ b/bin/g^^
@@ -0,0 +1,2 @@
+#!/bin/bash
+g ^^ "$@"