Update to allow_auto_merge for eclipse.platform.releng.aggregator

[merks]

@akurtakov

Updating the target platform will be easier if I can enable auto merge to complete the processing automatically if the verification build passes.

I think this change requires team lead approval so please indicate your approval assuming that you do.

[eclipse-otterdog[bot]]

This is your friendly self-service bot.

Thank you for raising a pull request to update the configuration of your GitHub organization. You can manually add reviewers to this PR to eventually enable auto-merging.

The following conditions need to fulfilled for auto-merging to be available:

• valid configuration
• approved by a project lead
• does not require any secrets
• does not update settings only accessible via the GitHub Web UI
• does not remove any resource

Otterdog commands and options

You can trigger otterdog actions by commenting on this PR: - `/otterdog team-info` checks the team / org membership for the PR author - `/otterdog validate` validates the configuration change - `/otterdog validate info` validates the configuration change, printing also validation infos - `/otterdog check-sync` checks if the base ref is in sync with live settings - `/otterdog merge` merges and applies the changes if the PR is eligible for auto-merging (only accessible for the author) - `/otterdog done` notifies the self-service bot that a required manual apply operation has been performed (only accessible for members of the admin team) - `/otterdog apply` re-apply a previously failed attempt (only accessible for members of the admin team)

[eclipse-otterdog[bot]]

This is your friendly self-service bot.

The author (merks) of this PR is associated with this organization in the role of MEMBER.

Additionally, merks is a member of the following teams:

• eclipse-platform-committers

[eclipse-otterdog[bot]]

This is your friendly self-service bot. Please find below the validation of the requested configuration changes:

Diff for 8d8c562908f1de88df20044163acd44adf360b22

```diff Organization eclipse.platform[id=eclipse-platform] there have been 37 validation infos, enable verbose output with '-v' to to display them. ! repository[name="eclipse.platform.releng.aggregator"] { ! allow_auto_merge = false -> true ! } Plan: 0 to add, 1 to change, 0 to delete. ```

[eclipse-otterdog[bot]]

This is your friendly self-service bot. The current configuration is in-sync with the live settings. :rocket:

[akurtakov]

Approved by Project Lead.

[eclipse-otterdog[bot]]

This is your friendly self-service bot. This Pull Request is eligible for auto-merging as it passed the following checks:

• valid configuration
• approved by a project lead
• does not require any secrets
• does not update settings only accessible via the GitHub Web UI
• does not remove any resource

In order to automatically merge and apply the changes, add a comment /otterdog merge. :rocket:

[merks]

/otterdog merge

[eclipse-otterdog[bot]]

This is your friendly self-service bot.

The following changes have been successfully applied:

Organization eclipse.platform[id=eclipse-platform]
  there have been 37 validation infos, enable verbose output with '-v' to to display them.

!   repository[name="eclipse.platform.releng.aggregator"] {
!     allow_auto_merge                  = false -> true
!   }

  Applying changes:

  Done.

  Executed plan: 0 added, 1 changed, 0 deleted.

[merks]

Wow, this process is really cool!