Skip to content

Commit c625fde

Browse files
author
Anton Benkevich
committed
Definitions Update otis
1 parent 0efb5b8 commit c625fde

File tree

3 files changed

+3
-6
lines changed

3 files changed

+3
-6
lines changed

.github/workflows/stage1_merge_automatic_prs.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ on: pull_request
77

88
jobs:
99
test:
10-
if: contains(github.event.head_commit.message, 'auto-update')
10+
if: contains(github.head_ref, 'auto-update')
1111
runs-on: ubuntu-latest
1212
strategy:
1313
matrix:

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -59,7 +59,7 @@ in order to achieve quick validation:
5959

6060
If no directory is specified, by default `doc/openapi/` directory will be used, if such behaviour is desired, use following line instead:
6161

62-
`curl -s https://raw.githubusercontent.com/alertlogic/alertlogic-sdk-definitions/master/scripts/validate_my_definition.sh | bash`
62+
`curl -s https://raw.githubusercontent.com/alertlogic/alertlogic-sdk-definitions/master/scripts/validate_my_definition.sh | bash `
6363

6464
It is recommended to invoke it via curl, since validation of the definitions might be extended with time.
6565
Script requires `python3` to be available in the system.

scripts/automerge.sh

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,9 +6,6 @@
66
: "${BRANCHES_TO_MERGE_REGEX?}" "${BRANCH_TO_MERGE_INTO?}"
77
: "${GITHUB_TOKEN?}" "${GITHUB_REPO?}"
88

9-
BRANCH_NAME=$(awk -F'/' '{print $3}' "${GITHUB_HEAD_REF}")
10-
export BRANCH_NAME
11-
129
git config --global user.email "[email protected]"
1310
git config --global user.name "CI bot"
1411

@@ -50,4 +47,4 @@ push_uri="https://[email protected]/$GITHUB_REPO"
5047
#git push "$push_uri" "$BRANCH_TO_MERGE_INTO" >/dev/null 2>&1
5148
git push "$push_uri" "$BRANCH_TO_MERGE_INTO"
5249
#git push "$push_uri" :"$GITHUB_HEAD_REF" >/dev/null 2>&1
53-
git push "$push_uri" :"$BRANCH_NAME"
50+
git push "$push_uri" :"$GITHUB_HEAD_REF"

0 commit comments

Comments
 (0)