Skip to content

Conversation

@twisti-dev
Copy link
Collaborator

Summary

  • add labels for the End Event
  • document the End Event with rules, commands and FAQ
  • link the new page in the Event Server overview
  • fix event state label and date formatting

Testing

  • docker run --rm -v "$PWD":/opt/sources -e SOURCE_DIR=/opt/sources -e MODULE_INSTANCE=Writerside/hi -e OUTPUT_DIR=/opt/sources/output -e RUNNER=other jetbrains/writerside-builder:2025.04.8412 > /tmp/build.log && tail -n 20 /tmp/build.log (fails: docker: command not found)

https://chatgpt.com/codex/tasks/task_e_684433c7b8748328a1c8ac2683663b24

@twisti-dev twisti-dev requested a review from Copilot June 7, 2025 12:51
@mergify mergify bot requested a review from a team June 7, 2025 12:52

This comment was marked as outdated.

@twisti-dev twisti-dev requested a review from Copilot June 7, 2025 12:54
Copy link
Contributor

Copilot AI left a comment

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 adds documentation for the new End Event by introducing a dedicated markdown page, updating labels and linking the new page in the event server overview.

  • Added the "End Event" markdown documentation with rules, commands, and a FAQ section.
  • Updated the event server topic to include a card for the End Event.
  • Introduced new secondary label entries for event date and Minecraft version.

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.

File Description
Writerside/topics/event-server/events/end-event.md New markdown page detailing the End Event documentation.
Writerside/topics/event-server/event-server.topic Added a new card linking to the End Event documentation.
Writerside/labels.list Added new secondary labels for the End Event date and Minecraft version.

@twisti-dev twisti-dev enabled auto-merge June 7, 2025 12:59
Keviro
Keviro previously approved these changes Jun 7, 2025
@twisti-dev twisti-dev disabled auto-merge June 7, 2025 13:14
@twisti-dev twisti-dev merged commit 946b8f5 into master Jun 7, 2025
5 checks passed
@twisti-dev twisti-dev deleted the codex/erstelle-dokumentation-für-end-event branch June 7, 2025 13:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants