clean up my github interaction stuff, and add some more

1 files changed, 0 insertions, 7 deletions

diff --git a/bashrc b/bashrc
index 27e597a..e2a4c58 100644
--- a/bashrc
+++ b/bashrc
@@ -150,13 +150,6 @@ function pdfcat {
     shift
     gs -q -sPAPERSIZE=letter -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sOutputFile=$out $*
 }
-function github-clone {
-    if [[ -z $2 ]]; then
-        git clone git@github.com:$USER/$1.git
-    else
-        git clone git://github.com/$1/$2.git
-    fi
-}
 function mod {
     yes | module-setup $1
 }