It is sometimes hard to backtrack from the comments that bors leaves on a github commit over to the original Pull Request that prompted bors to attempt a merge.
It seems like bors should be able to include a link to the PR in the comment it leaves.
This would ease (for example) going to see if the author has posted a follow-up commit fixing the errors that bors found on its first merge attempt.
It is sometimes hard to backtrack from the comments that bors leaves on a github commit over to the original Pull Request that prompted bors to attempt a merge.
It seems like bors should be able to include a link to the PR in the comment it leaves.
This would ease (for example) going to see if the author has posted a follow-up commit fixing the errors that bors found on its first merge attempt.