Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Close deprecated categories #555

Merged
merged 1 commit into from
Dec 27, 2024

Conversation

per1234
Copy link
Collaborator

@per1234 per1234 commented Dec 27, 2024

Several categories have been deemed superfluous, and will be deleted.

Some tasks need to be completed before that can be done:

  • Move all topics to the remaining alternative categories
  • Set up a redirect from the category URL to an equivalent page

As it will be some time before these tasks are completed, the categories are being configured to prevent the creation of new topics (which would only have to be moved by a forum maintainer). In the categories that still contain topics, the permission to reply to existing topics is preserved in order to avoid interference with ongoing discussions.

Several categories have been deemed superfluous, and will be deleted.

Some tasks need to be completed before that can be done:

- Move all topics to the remaining alternative categories
- Set up a redirect from the category URL to an equivalent page

As it will be some time before these tasks are completed, the categories are being configured to prevent the creation of
new topics (which would only have to be moved by a forum maintainer). In the categories that still contain topics, the
permission to reply to existing topics is preserved in order to avoid interference with ongoing discussions.
@per1234 per1234 added type: enhancement Proposed improvement topic: code Related to content of the project itself labels Dec 27, 2024
@per1234 per1234 self-assigned this Dec 27, 2024
@per1234 per1234 merged commit e2b951d into arduino:main Dec 27, 2024
13 checks passed
@per1234 per1234 deleted the close-deprecated-categories branch December 27, 2024 04:11
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
topic: code Related to content of the project itself type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant