From 564835b4ac50d50b1d369191c169bca6cbefb90d Mon Sep 17 00:00:00 2001
From: Michael Taboada <michael@michaels.world>
Date: Fri, 26 May 2023 07:20:38 -0700
Subject: [PATCH] Fixed up port removal so it works

---
 pre-push | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pre-push b/pre-push
index b0d477f..d268b06 100755
--- a/pre-push
+++ b/pre-push
@@ -7,7 +7,7 @@ url="${2#*@}"
 url="${url%.git}"
 url="${url#*://}"
 shopt -s extglob
-url="${url/:([0-9]+)//}"
+url="${url/:+([0-9])/}"
 url="https://${url}"
 branch="$(git branch | grep "\* ")"
 branch="${branch:2}"