Workspace of gerrit-verifications-comment on build5-deb12build-ansible

	obs-mirror
	jenkins.sh	Oct 18, 2025, 6:41:44 AM	667 B
	known_hosts	Oct 18, 2025, 6:41:44 AM	926 B
	obs-upgrade-eclipse-titan.sh	Oct 18, 2025, 6:41:44 AM	1.30 KiB
(all files in zip)