RFR: 1565: Only poll for updated MRs from GitLab [v5]

[Guoxiong Li]

On Thu, 8 Sep 2022 21:06:20 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

>> Erik Joelsson has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Adding log message
>
> Removing draft. This is now ready for review, but depends on SKARA-1589.

> @erikj79 this pull request can not be integrated into `master` due to one or more merge conflicts. To resolve these merge conflicts and update this pull request you can run the following commands in the local repository for your personal fork:
> 
> ```shell
> git checkout SKARA-1565-pr-poll
> git fetch https://git.openjdk.org/skara master
> git merge FETCH_HEAD
> # resolve conflicts and follow the instructions given by git merge
> git commit -m "Merge master"
> git push
> ```

This message was sent to the mail list. Is it a intent? Or should the bot `openjdk` be added to the ignored list?

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

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