lint/.github
Marco Ferrari 5a8805dc4f
Exit on errors when running Git (#4889)
* Exit on errors when running Git

* Skip pulling changes entirely

* Enable pipefail when generating diffs

* Cleanup

* Shallow repo check

* Echo GITHUB_SHA update

* Check if GITHUB_SHA exists before using it

* Move GITHUB_SHA validation to validation script

* Rely on cat-file return code

* Check if DEFAULT_BRANCH exists

* Change dir when checking DEFAULT_BRANCH

* Show git branches

* Don't switch branches

* Check GITHUB_SHA only when needed

* Ensure we have permissions before interacting with the repo

* Remove the DIFF_CMD variable

* Move TEST_CASE_RUN and RUN_LOCAL init up

* Validate if Git repo and if SHA exists

* Move validation function

* Change dir when getting branch names

* Move debug messages up to be less verbose

* Move branch validation in a function

* Fix linting errors
2023-12-04 09:47:49 +00:00
..
ISSUE_TEMPLATE Remove empty title from issue templates (#4931) 2023-12-02 08:35:25 +00:00
linters Update google java format and JDK (#4848) 2023-11-10 22:46:25 -08:00
workflows Exit on errors when running Git (#4889) 2023-12-04 09:47:49 +00:00
CODEOWNERS Update CODEOWNERS 2022-04-05 13:15:31 -05:00
CONTRIBUTING.md Follow up with several more documentation and automation renames for the org move from github to super-linter (#4543) 2023-08-17 15:12:11 +00:00
dependabot.yml Automatically handle Java dependencies updates (#4891) 2023-11-30 08:20:19 +00:00
pull_request-template.md Move dependency updates to a dedicated section (#4898) 2023-11-30 19:39:36 +00:00
release-drafter.yml Move dependency updates to a dedicated section (#4898) 2023-11-30 19:39:36 +00:00