[rwth-security] shhgit: find GitHub secrets in real time