Make it easier to manually trigger CI runs on third party PRs

[bensze01]

Currently triggering a manual CI run on third party PRs requires a developer to navigate to various pages of the Classis Jenkins UI and search for the PR by its number, then click the "Launch new build" button. This issue gathers some options we could implement to make this user experience better.

Ordered from easiest to implement to hardest to implement:

• Send a status report to GitHub when a new commit is pushed to a third party PR
  • Developer flow: "details" on status notification, then click the replay button
    • Since clicking the replay button is a user action, the current filtering logic will let the replayed build run
  • Since each status notification is associated with a commit hash natively, we can handle the per-hash allowlisting of PR commits without needing the developer to input hashes manually
• Send status report with custom target URL
  • Developer flow: Clicking on the "details" URL launches a new build automatically
    • Pros: One less click! + the pros of the solution above
    • Cons: No way to rename the link, "Details" might be misleading
      • Explain the function of the URL in the Context/Description of the status
• Triggering the CI build using a specially formatted developer comment
  • Needs extra logic to associate with commit hash
    • Manual copying of hash by developers seems cumbersome
• Trigger CI build upon review approval by a team member
  • Needs extra logic to associate review approval with commit hashes
• Implement a custom button using the Checks API
  • The prerequisites for this are tracked in Mirate to using the GitHub Checks API #133

[tom-cosgrove-arm]

Needs extra logic to associate with commit hash

For both of these, can't it just be based on timestamps, i.e. special comment or approval that is more recent than the commit, and CI hasn't run on that commit? i.e. all we want to do is avoid running the CI on a commit that is newer than the comment or the approval

[gilles-peskine-arm]

Triggering the CI build using a specially formatted developer comment

This has my preference. It doesn't involve any navigation of CI systems. It means I don't need to be on the internal Arm network to start on the internal CI. It makes the association between the approved commit ID and the commit ID that the CI will pick straightforward.

Manual copying of hash by developers seems cumbersome

It's easy to grab the hash from the github interface. Just please allow copy-pasting the whole URL.