An intended hidden feature of the generated diffs is that clicking the line numbers would link back to the same line in the original github PR diff. Unfortunately,
this only worked when we were invoked in the mode where we talk to the github api
github changed the html ids that they use for the line numbers
An intended hidden feature of the generated diffs is that clicking the line numbers would link back to the same line in the original github PR diff. Unfortunately,
Anyway it should work now