From 7f34d99e9c13b96fe054553fec1fe9d5aaab40de Mon Sep 17 00:00:00 2001 From: Aaron Bieber Date: Fri, 3 Feb 2023 11:18:53 -0700 Subject: [PATCH] fmt --- common.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/common.sh b/common.sh index 059abad..8d666d6 100644 --- a/common.sh +++ b/common.sh @@ -19,11 +19,11 @@ msg() { } unlock() { - rm -f ${LOCK_FILE}; + rm -f ${LOCK_FILE} } _lock() { - echo "${SCRIPT_PID}" > "${LOCK_FILE}" + echo "${SCRIPT_PID}" >"${LOCK_FILE}" trap 'unlock' INT EXIT TERM } @@ -132,4 +132,3 @@ handle_merge_fail() { handle_push_fail() { po_error "CI: git push failed!" "Pelase help!" } -