Change directory when checking ignored files

[ferrarimarco]

Proposed Changes

1. Change the working directory to the workspace when checking files that should be ignored by Git

Readiness Checklist

Author/Contributor

• I included all the needed documentation for this change.
• I provided the necessary tests.

Reviewing Maintainer

• Label as breaking if this is a large, fundamental change.
• Label as either: automation, bug, documentation, enhancement, infrastructure.

BEGIN_COMMIT_OVERRIDE
fix: change directory when checking ignored files (#4933)
END_COMMIT_OVERRIDE

[zkoppert]

[kftsehk]

FYI, this issue seems already covered by #4821, which had pushd ${GITHUB_WORKSPACE} very early, right after knowing what ${GITHUB_WORKSPACE} is.

After this point, the working directory is at ${GITHUB_WORKSPACE} unless somewhere in the code popd it for a reason.

super-linter/lib/linter.sh

Lines 491 to 501 in f3c1589

	if [ -z "${GITHUB_WORKSPACE}" ]; then
	GITHUB_WORKSPACE="${DEFAULT_WORKSPACE}"
	fi
	if [ ! -d "${GITHUB_WORKSPACE}" ]; then
	fatal "Provided volume is not a directory!"
	fi
	info "Linting all files in mapped directory:[${GITHUB_WORKSPACE}]"
	pushd "${GITHUB_WORKSPACE}" >/dev/null || exit 1