Skip to content

Conversation

@twisti-dev
Copy link
Collaborator

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

Merge-After: 2025-05-24T11:43:00[Europe/Berlin]

@twisti-dev
Copy link
Collaborator Author

@Mergifyio refresh

@mergify
Copy link
Contributor

mergify bot commented May 24, 2025

refresh

✅ Pull request refreshed

@mergify
Copy link
Contributor

mergify bot commented May 24, 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-24T11:43:00 [🕒 Merge-After: 2025-05-24T11:43:00+02:00]

@twisti-dev twisti-dev enabled auto-merge May 24, 2025 09:42
@twisti-dev
Copy link
Collaborator Author

@Mergifyio refresh

@mergify
Copy link
Contributor

mergify bot commented May 24, 2025

refresh

✅ Pull request refreshed

@mergify mergify bot requested a review from a team May 24, 2025 09:57
@twisti-dev
Copy link
Collaborator Author

@Mergifyio dequeue

@mergify
Copy link
Contributor

mergify bot commented May 24, 2025

dequeue

☑️ The pull request is not queued

@twisti-dev twisti-dev closed this May 24, 2025
auto-merge was automatically disabled May 24, 2025 09:58

Pull request was closed

@JoField08 JoField08 deleted the twisti-dev-patch-1 branch June 14, 2025 15:44
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.

2 participants