diff options
author | Jérémy Zurcher <jeremy@asynk.ch> | 2012-08-31 12:54:59 +0200 |
---|---|---|
committer | Jérémy Zurcher <jeremy@asynk.ch> | 2012-08-31 12:54:59 +0200 |
commit | 4d12f1be34524df88cff8f7728a581e05c1536f9 (patch) | |
tree | 3d984edd34c0dbab8cec35536e12a48a2c00665e | |
parent | e687343f1e3f1b7fa2fbbe7707b04328b2cd4162 (diff) | |
download | bin-4d12f1be34524df88cff8f7728a581e05c1536f9.zip bin-4d12f1be34524df88cff8f7728a581e05c1536f9.tar.gz |
git-synk: do not push to origin
-rwxr-xr-x | git-synk | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -87,7 +87,7 @@ for gitdir in ${GIT_DIR}; do fi fi # PUSH - if [ "$action" != "pull" ] ; then + if [ "${GIT_REMOTE}" != "origin" -a "$action" != "pull" ] ; then echo -ne " ${CYAN}push${RESET}: ${YELLOW}${GIT_REMOTE}${RESET}:${PURPLE}${GIT_BRANCH}${RESET} ... " && \ git push ${GIT_REMOTE} ${GIT_BRANCH} 2>/dev/null && success if [ $? -ne 0 ]; then |