From d85cab73d248188735e809a63f45bc49c6e4ac61 Mon Sep 17 00:00:00 2001 From: Sami Samhuri Date: Fri, 21 Oct 2011 15:16:50 -0700 Subject: [PATCH] remove old scripts for hosting git projects on nofxwiki.net --- clonegit-nofxwiki.net | 8 -------- mkgit-nofxwiki.net | 15 --------------- 2 files changed, 23 deletions(-) delete mode 100755 clonegit-nofxwiki.net delete mode 100755 mkgit-nofxwiki.net diff --git a/clonegit-nofxwiki.net b/clonegit-nofxwiki.net deleted file mode 100755 index 98b2936..0000000 --- a/clonegit-nofxwiki.net +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh - -# if no 2nd arg call again with first arg as second arg -if [[ x"$2" = x ]]; then - "$0" "$1" "$1" -else - git clone "ssh://nofxwiki.net/var/git/$1" "$2" -fi diff --git a/mkgit-nofxwiki.net b/mkgit-nofxwiki.net deleted file mode 100755 index 784c6f9..0000000 --- a/mkgit-nofxwiki.net +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh - -function die() { - echo "[error] $*" - exit 1 -} - -ssh nofxwiki.net "/home/sjs/bin/mkgit $1" || die "Can't create remote git repo" -if git remote show origin >/dev/null 2>&1; then - git remote rm origin -fi -git remote add -m master origin ssh://nofxwiki.net/var/git/$1.git || die "Can't add remote origin" -git config branch.master.remote origin || die "Can't set master's branch remote origin" -git config branch.master.merge refs/heads/master || die "Can't set master's branch merge" -git push origin master || die "Can't push to remote repo"