diff options
| author | Donald Sharp <sharpd@cumulusnetworks.com> | 2016-06-17 18:47:48 -0400 |
|---|---|---|
| committer | Donald Sharp <sharpd@cumulusnetworks.com> | 2016-06-17 18:47:48 -0400 |
| commit | 515b39d7042d129238a313ea0aba37ee4b0742c7 (patch) | |
| tree | 6c113bc5b6efa6d542d20ca128bdfc33c086e690 /pimd/git-clone-github.sh | |
| parent | 34be90949f3872e55d69515be6ccf9df012e9488 (diff) | |
pimd: Remove unneeded shell scripts
Remove some unneeded shell scripts.
Signed-off-by: Donald Sharp <sharpd@cumulusnetworks.com>
Diffstat (limited to 'pimd/git-clone-github.sh')
| -rwxr-xr-x | pimd/git-clone-github.sh | 27 |
1 files changed, 0 insertions, 27 deletions
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 |
