RFR: 1687: Workaround bug in GitLab where merge request LIST API may serve stale data

[Zhao Song]

On Mon, 28 Nov 2022 21:43:24 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

> This patch provides a workaround for a GitLab bug that we are currently encountering. The issue has been fixed upstream, but until we have it deployed in our instance, we need to work around it.
> 
> GitLab sometimes serves stale data for merge requests from list queries. For Skara this means that label changes aren't always picked up. I have verified that up-to-date data is always received when fetching single merge requests by ID, so the patch simply re-fetches MRs to make sure the data is always up to date. I'm also adding logging to track when stale data is detected. This will help us verify (at least empirically) when the GitLab issue resolved for us.

LGTM

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

Marked as reviewed by zsong (Committer).

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