RFR: 2247: When pr's headHash is missing, stop further processing [v3]

[Zhao Song]

> Kevin Rushforth found this GitLab issue few years ago.
> 
> Sometimes, pull requests in GitLab would be stuck. When it happens, it shows the number of commits as "0". Clicking on the "Changes" tab shows no diffs, and displays a warning banner: "Something went wrong on our end. Please try again!" This requires action on user's part to get them "unstuck".
> 
> In Skara side, when it happens, pull request bot would not be able to get the headHash of this pull request and then throw an exception and trigger an other round of CheckWorkItem. If the user doesn't fix it, skara bot will continuously work on the pull request.
> 
> To resolve it, we should try to make pull request bot be able to identify this situation and provide some guidance to the users.

Zhao Song has updated the pull request incrementally with one additional commit since the last revision:

  review comment

-------------

Changes:
  - all: https://git.openjdk.org/skara/pull/1645/files
  - new: https://git.openjdk.org/skara/pull/1645/files/a3945c42..66359318

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=skara&pr=1645&range=02
 - incr: https://webrevs.openjdk.org/?repo=skara&pr=1645&range=01-02

  Stats: 4 lines in 1 file changed: 1 ins; 0 del; 3 mod
  Patch: https://git.openjdk.org/skara/pull/1645.diff
  Fetch: git fetch https://git.openjdk.org/skara.git pull/1645/head:pull/1645

PR: https://git.openjdk.org/skara/pull/1645