Workspace of gerrit-lint on build4-deb12build-ansible

	checkpatch
	docker_run_rm.sh	Nov 30, 2025, 5:48:22 AM	511 B
	lint_all.sh	Nov 30, 2025, 5:48:22 AM	827 B
	lint_diff.sh	Nov 30, 2025, 5:48:22 AM	3.25 KiB
(all files in zip)