Fix automerge

Author: Anton Benkevich

scripts/automerge.sh

@@ -6,6 +6,9 @@
 : "${BRANCHES_TO_MERGE_REGEX?}" "${BRANCH_TO_MERGE_INTO?}"
 : "${GITHUB_TOKEN?}" "${GITHUB_REPO?}"
 
+BRANCH_NAME=$(awk -F'/' '{print $3}' "${GITHUB_HEAD_REF}")
+export BRANCH_NAME
+
 git config --global user.email "[email protected]"
 git config --global user.name "CI bot"
 
@@ -47,4 +50,4 @@ push_uri="https://[email protected]/$GITHUB_REPO"
 #git push "$push_uri" "$BRANCH_TO_MERGE_INTO" >/dev/null 2>&1
 git push "$push_uri" "$BRANCH_TO_MERGE_INTO"
 #git push "$push_uri" :"$GITHUB_HEAD_REF" >/dev/null 2>&1
-git push "$push_uri" :"$GITHUB_HEAD_REF"
+git push "$push_uri" :"$BRANCH_NAME"