[rwth-security] GitHub: SSH commit verification now supported