Add timeout to the calls to the hub api (#139) #541

	---
	name: Lint

	on: [pull_request, push]

	permissions: read-all

	jobs:
	super-lint:
	name: Lint with Super-Linter
	runs-on: ubuntu-latest

	steps:
	# Checks out a copy of your repository on the ubuntu-latest machine
	- name: Checkout code
	uses: actions/checkout@v4
	with:
	# Full git history needed to get proper list of changed files
	fetch-depth: 0

	# Runs the Super-Linter action
	- name: Run Super-Linter on new changes
	uses: github/super-linter@v7
	env:
	DEFAULT_BRANCH: main
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	# Only check new or edited files
	VALIDATE_ALL_CODEBASE: false
	# Fail on errors
	DISABLE_ERRORS: false
	# JSCPD is failing in the symlink, so avoiding it
	VALIDATE_JSCPD: false
	# Pylint is too picky about everything, not ready
	# for this yet here
	VALIDATE_PYTHON_PYLINT: false
	# this messes with jinja templates
	VALIDATE_HTML_PRETTIER: false
	# We don't want to lint EC files
	FILTER_REGEX_EXCLUDE: "./ecl-.\\.(css\|js)"

Provide feedback