From 515b39d7042d129238a313ea0aba37ee4b0742c7 Mon Sep 17 00:00:00 2001
From: Donald Sharp <sharpd@cumulusnetworks.com>
Date: Fri, 17 Jun 2016 18:47:48 -0400
Subject: pimd: Remove unneeded shell scripts

Remove some unneeded shell scripts.

Signed-off-by: Donald Sharp <sharpd@cumulusnetworks.com>
---
 pimd/git-clone-github.sh | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100755 pimd/git-clone-github.sh

(limited to 'pimd/git-clone-github.sh')

diff --git a/pimd/git-clone-github.sh b/pimd/git-clone-github.sh
deleted file mode 100755
index ae2362a739..0000000000
--- a/pimd/git-clone-github.sh
+++ /dev/null
@@ -1,27 +0,0 @@
-#! /bin/bash
-#
-# Github Developer Git Checkout
-#
-# Delete remote branch qpimd:    git push origin :qpimd
-#                                (git push origin :refs/heads/branch_to_delete)
-# Delete remote tag v0.139:      git push origin :v0.139
-#                                (git push origin :refs/tags/tag_to_delete)
-# Create remote-tracking branch: git checkout -b pim0.142 origin/pim0.142
-# Rename branch qpimd to pim:    git branch -m qpimd pim
-# Commit changes:                git commit -a
-# Send changes:                  git push --all
-#
-# Recipe to re-sync with Quagga repository:
-#  git clone https://github.com/udhos/qpimd quagga
-#  cd quagga
-#  git checkout master
-#  git pull http://git.sv.gnu.org/r/quagga.git master
-#  git checkout -b pim origin/pim
-#  git rebase master pim
-#  # Test, then push back into Github repository:
-#  git push origin :pim ;# delete remote branch pim
-#  git push --all
-#
-# $QuaggaId: $Format:%an, %ai, %h$ $
-
-git clone https://github.com/udhos/qpimd
-- 
cgit v1.2.3