build: disable amending commits during pre-push hook

---
type: pre_commit_static_analysis_report
description: Results of running static analysis checks when committing changes.
report:
  - task: lint_filenames
    status: passed
  - task: lint_editorconfig
    status: passed
  - task: lint_markdown
    status: na
  - task: lint_package_json
    status: na
  - task: lint_repl_help
    status: na
  - task: lint_javascript_src
    status: na
  - task: lint_javascript_cli
    status: na
  - task: lint_javascript_examples
    status: na
  - task: lint_javascript_tests
    status: na
  - task: lint_javascript_benchmarks
    status: na
  - task: lint_python
    status: na
  - task: lint_r
    status: na
  - task: lint_c_src
    status: na
  - task: lint_c_examples
    status: na
  - task: lint_c_benchmarks
    status: na
  - task: lint_c_tests_fixtures
    status: na
  - task: lint_shell
    status: passed
  - task: lint_typescript_declarations
    status: na
  - task: lint_typescript_tests
    status: na
  - task: lint_license_headers
    status: passed
---

Author: kgryte

tools/git/hooks/pre-push

@@ -161,7 +161,9 @@ create_new_commit_file() {
 
 # Amends the last commit to include the hook results.
 amend_commit() {
-	git commit --amend --no-edit --no-verify --file="${new_commit_file}"
+	# FIXME: temporarily disable due to push/pull issues that stdlib developers are facing.
+	true;
+	# git commit --amend --no-edit --no-verify --file="${new_commit_file}"
 }
 
 # Checks if commits exist to push, as `git push` will execute regardless of whether commits exist to push or not.