Skip to content

Conversation

@twisti-dev
Copy link
Collaborator

@twisti-dev twisti-dev commented May 30, 2025

Merge-After: 2025-05-30T17:55:00[Europe/Berlin]

@twisti-dev twisti-dev enabled auto-merge May 30, 2025 10:18
@mergify mergify bot requested a review from a team May 30, 2025 10:18
@twisti-dev twisti-dev added this pull request to the merge queue May 30, 2025
@twisti-dev twisti-dev removed this pull request from the merge queue due to a manual request May 30, 2025
@twisti-dev
Copy link
Collaborator Author

@Mergifyio refresh

1 similar comment
@twisti-dev
Copy link
Collaborator Author

@Mergifyio refresh

@mergify
Copy link
Contributor

mergify bot commented May 30, 2025

refresh

✅ Pull request refreshed

@mergify
Copy link
Contributor

mergify bot commented May 30, 2025

Merge Protections

Your pull request matches the following merge protections and will not be merged until they are valid.

🟢 🕒 Merge-After Requirement

Wonderful, this rule succeeded.

Requirement based on the presence of Merge-After in the body of the pull request

  • current-datetime >= 2025-05-30T17:55:00 [🕒 Merge-After: 2025-05-30T17:55:00+02:00]

@twisti-dev twisti-dev enabled auto-merge May 30, 2025 10:32
@twisti-dev twisti-dev added this pull request to the merge queue May 30, 2025
Merged via the queue into master with commit 5c7db61 May 30, 2025
5 checks passed
@JoField08 JoField08 deleted the update-event-state branch June 1, 2025 19:39
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