diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2017-05-14 14:02:52 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2017-05-14 14:02:52 -0300 |
commit | f10673449dd0720972c36304d0db914db0dfacec (patch) | |
tree | 0af69a60f345c88d2e2ad8c9cc43ef5d8053fb9a | |
parent | 3c07f63390526c65e569648f2b3bc42465f9e135 (diff) | |
download | scripts-f10673449dd0720972c36304d0db914db0dfacec.tar.gz scripts-f10673449dd0720972c36304d0db914db0dfacec.tar.bz2 |
Removes uneeded 'done' script
-rwxr-xr-x | done | 24 |
1 files changed, 0 insertions, 24 deletions
@@ -1,24 +0,0 @@ -#!/bin/bash -# -# Submit updates to a project. -# - -# Parameters -PROJECT="$1" - -# Try to get there -if [ ! -z "$PROJECT" ]; then - cd $PROJECT &> /dev/null || exit 1 -fi - -# Sync -if git status &> /dev/null; then - if which updates > /dev/null; then - updates - else - git commit -a -m "Updates $PROJECT" - git push - fi - - git fetch --all -fi |