RFR: 1355: Mirror bot needs branch selection based on patterns

[Magnus Ihse Bursie]

On 2022-08-19 15:59, erik.joelsson at oracle.com wrote:

> I didn't receive it either, but it's in the mail archive: 
> https://mail.openjdk.org/pipermail/skara-dev/2022-August/006327.html

Good finding. Then it is a problem with the Oracle mail servers, rather 
than Skara. It is much better that way. =)

/Magnus


>
> /Erik
>
> On 8/19/22 4:07 AM, Magnus Ihse Bursie wrote:
>> There never was a "Integrated: ..." mail about this, even though it 
>> was pushed 17 hours ago. Are the bots stuck?
>>
>> /Magnus
>>
>> On 2022-08-15 22:19, Erik Joelsson wrote:
>>> This patch makes it possible to configure mirrored branches with 
>>> regex patterns. For what I think is improved readability, I made it 
>>> possible to supply the patterns as an array of strings, so we can 
>>> have multiple separate patterns. It's still possible to define 
>>> "branches" as a comma separated list, for backwards compatibility.
>>>
>>> When deploying this change, I will need to delete the existing local 
>>> repos used for mirroring on the bot runner machine, because the 
>>> method by which repos are cloned is changing (for repos that do not 
>>> just mirror "everything"). Going forward, I think it's good to 
>>> always clone all repos the same way, regardless of configuration.
>>>
>>> There is another behavioral change, where I'm adding `--force` when 
>>> pushing branches with `includeTags`. It happens a bit too often that 
>>> a repo maintainer changes tags, which currently causes error for any 
>>> mirroring job because we aren't force pushing tags. I don't think we 
>>> ever want to not force update when mirroring repos.
>>>
>>> -------------
>>>
>>> Commit messages:
>>>   - SKARA-1355
>>>
>>> Changes: https://git.openjdk.org/skara/pull/1358/files
>>>   Webrev: https://webrevs.openjdk.org/?repo=skara&pr=1358&range=00
>>>    Issue: https://bugs.openjdk.org/browse/SKARA-1355
>>>    Stats: 116 lines in 4 files changed: 88 ins; 7 del; 21 mod
>>>    Patch: https://git.openjdk.org/skara/pull/1358.diff
>>>    Fetch: git fetch https://git.openjdk.org/skara 
>>> pull/1358/head:pull/1358
>>>
>>> PR: https://git.openjdk.org/skara/pull/1358