Github PRs

[Matthias Boehm]

Hi all,

when I'm trying to access PRs in Github, every commit link gives me a 
404, but I can still checkout the individual PRs and their code. Does 
anybody know what changed and if we might need to file an INFRA ticket?

Regards,
Matthias