Use repo ID rather than path in header (fixes #425)