diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2017-05-14 14:10:42 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2017-05-14 14:10:42 -0300 |
| commit | 7da22e17ba471e1de20c394db8bfd84be32c8975 (patch) | |
| tree | c09b30b503716b1339a6d1626f9cd4c3818dd9eb | |
| parent | 750c0f2de721cb636beb8b4822117c4671794f6f (diff) | |
| download | utils-git-7da22e17ba471e1de20c394db8bfd84be32c8975.tar.gz utils-git-7da22e17ba471e1de20c394db8bfd84be32c8975.tar.bz2 | |
Removes gitg and gitolite-repo
| -rwxr-xr-x | gitg | 6 | ||||
| -rwxr-xr-x | gitolite-repo | 25 |
2 files changed, 0 insertions, 31 deletions
@@ -1,6 +0,0 @@ -# -# Simple wrapper around gitk -# - -git diff &> /dev/null -gitk --all $* & diff --git a/gitolite-repo b/gitolite-repo deleted file mode 100755 index 0911d13..0000000 --- a/gitolite-repo +++ /dev/null @@ -1,25 +0,0 @@ -#!/bin/bash -# -# Format a new gitolite repository entry. -# - -# Parameters -BASENAME="`basename $0`" -REPO="$1" -OWNER="$2" - -# Syntax -if [ -z "$3" ]; then - echo "usage: $BASENAME <repo> <owner> <description>" - exit 1 -fi - -# Get description -shift 2 -DESC="$*" - -# Format entry -echo "$REPO \"$OWNER\" = \"$DESC\"" -echo "repo $REPO" -echo " R = @public" -echo " RW = @$OWNER" |