Skip to content

Update rich-event.md#382

Merged
twisti-dev merged 1 commit into
masterfrom
state/update-richestplayer
Jun 6, 2026
Merged

Update rich-event.md#382
twisti-dev merged 1 commit into
masterfrom
state/update-richestplayer

Conversation

@twisti-dev

Copy link
Copy Markdown
Collaborator

Merge-After: 2026-06-06 12:57

@mergify

mergify Bot commented Jun 6, 2026

Copy link
Copy Markdown
Contributor

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 >= 2026-06-06T12:57:00 [🕒 Merge-After: 2026-06-06 12:57:00 UTC]

@twisti-dev twisti-dev enabled auto-merge June 6, 2026 09:36

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR updates the metadata label of the “Reich werden Event” documentation page to reflect the event’s status.

Changes:

  • Changed the page’s <primary-label> from event-upcoming to event-running.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread Writerside/topics/event-server/events/rich-event.md
@twisti-dev twisti-dev added this pull request to the merge queue Jun 6, 2026
Merged via the queue into master with commit 53cd734 Jun 6, 2026
7 checks passed
@twisti-dev twisti-dev deleted the state/update-richestplayer branch June 6, 2026 13:09
@github-project-automation github-project-automation Bot moved this from Backlog to Done in community-server-docs Jun 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants