tree da46145becabce5fef1ed45f65bca6ec4a0a7d8c
parent 760c3433105de21b1fa5828207b2090d763329f8
parent b5ac348c0054348e558e6eb56396f44c20da82ca
author Junio C Hamano <gitster@pobox.com> 1714685048 -0700
committer Junio C Hamano <gitster@pobox.com> 1714685048 -0700

Merge branch 'jt/port-ci-whitespace-check-to-gitlab' into seen

* jt/port-ci-whitespace-check-to-gitlab:
  gitlab-ci: add whitespace error check
  ci: make the whitespace report optional
  ci: separate whitespace check script
  github-ci: fix link to whitespace error
  ci: pre-collapse GitLab CI sections