Compare commits

..

No commits in common. "main" and "sokrates/in-the-repo-https-git-peterscharmueller--20260724-164204" have entirely different histories.

Diff content is not available