From 1108fab67409ad66cefc563d7e81e8cf73a1344e Mon Sep 17 00:00:00 2001 From: Roman Telezhynskyi Date: Thu, 5 Jan 2017 18:25:46 +0200 Subject: [PATCH] Instead of commithooks call push to github manually. --HG-- branch : develop --- scripts/commithook | 23 ----------------------- scripts/outgoinghook | 13 ------------- scripts/pushtogit.sh | 4 ++++ 3 files changed, 4 insertions(+), 36 deletions(-) delete mode 100755 scripts/commithook delete mode 100755 scripts/outgoinghook create mode 100755 scripts/pushtogit.sh diff --git a/scripts/commithook b/scripts/commithook deleted file mode 100755 index 09a2073a4..000000000 --- a/scripts/commithook +++ /dev/null @@ -1,23 +0,0 @@ -#!/bin/sh - -# Commit hook. Helps update bookmark. -# Put this file in your path. -# -# Edit file .hg/hgrc -# -# [hooks] -# commit = commithook - -DEVELOP_BRANCH="develop" -RELEASE_BRANCH="release" -CURRENT_BRANCH=$(hg branch) - -if [ $CURRENT_BRANCH = $DEVELOP_BRANCH ]; -then - hg bookmark -f master; -fi - -if [ $CURRENT_BRANCH = $RELEASE_BRANCH ]; -then - hg bookmark -f release; -fi diff --git a/scripts/outgoinghook b/scripts/outgoinghook deleted file mode 100755 index 9905b1bcf..000000000 --- a/scripts/outgoinghook +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh - -# Commit hook. Helps update bookmark. -# Put this file in your path. -# -# Edit file .hg/hgrc -# -# [hooks] -# outgoing = outgoinghook - -sh -c "hg push -f git+ssh://git@github.com/dismine/Valentina.git" & - -exit 0; diff --git a/scripts/pushtogit.sh b/scripts/pushtogit.sh new file mode 100755 index 000000000..01da2c077 --- /dev/null +++ b/scripts/pushtogit.sh @@ -0,0 +1,4 @@ +#!/bin/sh + +hg bookmark -f master; +hg push -f github