Skip to content

Temorary allow merge commits#14

Merged
mbarbero merged 1 commit into
eclipse-platform:mainfrom
laeubi:patch-1
May 6, 2025
Merged

Temorary allow merge commits#14
mbarbero merged 1 commit into
eclipse-platform:mainfrom
laeubi:patch-1

Conversation

@laeubi
Copy link
Copy Markdown
Contributor

@laeubi laeubi commented May 5, 2025

Signed-off-by: Christoph Läubrich <laeubi@laeubi-soft.de>
@laeubi laeubi requested a review from a team as a code owner May 5, 2025 11:53
@mbarbero mbarbero merged commit cf608bc into eclipse-platform:main May 6, 2025
1 check passed
@mbarbero
Copy link
Copy Markdown

mbarbero commented May 6, 2025

Since otterdog is still down due to infrastructure outage, I've merged and applied the following changes manually:

  ~ repository[name="eclipse.platform"] {
    ~ allow_merge_commit = false -> true
  ~ }

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants