mirror of
https://github.com/super-linter/super-linter.git
synced 2024-12-18 10:42:14 -05:00
fe6e29b685
Get the default branch from the GitHub Actions event payload when running on GitHub Actions. Default to 'master', as before, otherwise.
30 lines
1 KiB
Bash
Executable file
30 lines
1 KiB
Bash
Executable file
#!/usr/bin/env bash
|
|
|
|
function GetGithubPushEventCommitCount() {
|
|
local GITHUB_EVENT_FILE_PATH
|
|
GITHUB_EVENT_FILE_PATH="${1}"
|
|
local GITHUB_PUSH_COMMIT_COUNT
|
|
|
|
if ! GITHUB_PUSH_COMMIT_COUNT=$(jq -r '.commits | length' <"${GITHUB_EVENT_FILE_PATH}"); then
|
|
fatal "Failed to initialize GITHUB_PUSH_COMMIT_COUNT for a push event. Output: ${GITHUB_PUSH_COMMIT_COUNT}"
|
|
fi
|
|
|
|
if IsUnsignedInteger "${GITHUB_PUSH_COMMIT_COUNT}" && [ -n "${GITHUB_PUSH_COMMIT_COUNT}" ]; then
|
|
echo "${GITHUB_PUSH_COMMIT_COUNT}"
|
|
return 0
|
|
else
|
|
fatal "GITHUB_PUSH_COMMIT_COUNT is not an integer: ${GITHUB_PUSH_COMMIT_COUNT}"
|
|
fi
|
|
}
|
|
|
|
function GetGithubRepositoryDefaultBranch() {
|
|
local GITHUB_EVENT_FILE_PATH
|
|
GITHUB_EVENT_FILE_PATH="${1}"
|
|
local GITHUB_REPOSITORY_DEFAULT_BRANCH
|
|
|
|
if ! GITHUB_REPOSITORY_DEFAULT_BRANCH=$(jq -r '.repository.default_branch' <"${GITHUB_EVENT_FILE_PATH}"); then
|
|
fatal "Failed to initialize GITHUB_REPOSITORY_DEFAULT_BRANCH. Output: ${GITHUB_REPOSITORY_DEFAULT_BRANCH}"
|
|
fi
|
|
|
|
echo "${GITHUB_REPOSITORY_DEFAULT_BRANCH}"
|
|
}
|