[rwth-security] Hacker klauen Tausende Git-Credentials