commit 5acb21d25531fb1e647880afdaa7cfcfad258f1d parent 78b362a3b92b504530e0870735a27cd1d8039417 Author: Florian Dold <florian.dold@gmail.com> Date: Fri, 4 Mar 2016 16:08:00 +0100 revert post-receive Diffstat:
| M | githooks/merchant/post-receive | | | 25 | +++++++++++++++++++++++-- |
1 file changed, 23 insertions(+), 2 deletions(-)
diff --git a/githooks/merchant/post-receive b/githooks/merchant/post-receive @@ -1,3 +1,24 @@ -#!/bin/sh +#!/usr/bin/python3 + +import sys +import os + +lines = sys.stdin.readlines() + +updated = set() + +for line in lines: + try: + old, new, name = line.split() + except ValueError: + print("unexpected format") + os.exit(1) + updated.add(name) + +if "refs/heads/test" in updated: + ret = os.system("echo merchant | timeout 1s tee /home/test/rebuild >/dev/null") + if ret != 0: + print("merchant update failed") + else: + print("updating merchant") -exec git update-server-info