Skip to content

Issue #43: Remove central publishing plugin#44

Merged
reckart merged 1 commit into
mainfrom
feature/43-Remove-central-publishing-plugin
Jan 7, 2026
Merged

Issue #43: Remove central publishing plugin#44
reckart merged 1 commit into
mainfrom
feature/43-Remove-central-publishing-plugin

Conversation

@reckart
Copy link
Copy Markdown
Member

@reckart reckart commented Jan 7, 2026

What's in the PR

  • Removed plugin/extension

How to test manually

  • Check if deployment to alternative repositories works again

Automatic testing

  • PR includes unit tests

Documentation

  • PR updates documentation

- Removed plugin/extension
@reckart reckart added this to the 35 milestone Jan 7, 2026
@reckart reckart self-assigned this Jan 7, 2026
@reckart reckart added the ⭐️ Enhancement New feature or request label Jan 7, 2026
@reckart reckart added this to Kanban Jan 7, 2026
@github-project-automation github-project-automation Bot moved this to In progress in Kanban Jan 7, 2026
@reckart reckart merged commit 61fb929 into main Jan 7, 2026
1 check passed
@reckart reckart deleted the feature/43-Remove-central-publishing-plugin branch January 7, 2026 18:44
@github-project-automation github-project-automation Bot moved this from In progress to Done in Kanban Jan 7, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

⭐️ Enhancement New feature or request

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant