2 commits

Author	SHA1	Message	Date
Harsh Shandilya	494cb5fc4f	scripts/pre-push-hook: skip checks when deleting a branch	2021-11-03 15:06:59 +05:30
Harsh Shandilya	c7fdd913c5	Add installGitHooks task for pre-push Git hooks (#1516) ... * build: add a pre-push task and Gradle task to install it * Document `installGitHooks` in contributing.md	2021-10-08 10:38:09 +05:30