Skip to content

Conversation

@robin-checkmk
Copy link
Member

Add support for RedHat 10.

Pull request type

Please check the type of change your PR introduces:

  • Bugfix
  • Feature
  • Code style update (formatting, renaming)
  • Refactoring (no functional changes, no API changes)
  • Build related changes
  • Documentation content changes
  • Other (please describe):

What is the current behavior?

No support for RedHat 10.

What is the new behavior?

Add support for RedHat 10.

Other information

Update changelogs and docs upon release
Update changelogs and docs upon release
@robin-checkmk robin-checkmk self-assigned this Nov 18, 2025
@github-actions github-actions bot added documentation Improvements or additions to documentation role:server This affects the server role role:agent This affects the agent role labels Nov 18, 2025
@robin-checkmk robin-checkmk force-pushed the redhat-10-support branch 2 times, most recently from dbdab9d to da56a98 Compare November 19, 2025 09:32
@robin-checkmk robin-checkmk marked this pull request as ready for review November 19, 2025 13:42
@robin-checkmk robin-checkmk mentioned this pull request Nov 24, 2025
7 tasks
Copy link

@kumaran-repo kumaran-repo left a comment

Choose a reason for hiding this comment

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

Looks good to me, everything is consistent.

@robin-checkmk robin-checkmk merged commit 451886b into devel Nov 24, 2025
18 checks passed
@robin-checkmk robin-checkmk deleted the redhat-10-support branch November 24, 2025 11:28
@github-actions github-actions bot locked and limited conversation to collaborators Nov 24, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

documentation Improvements or additions to documentation role:agent This affects the agent role role:server This affects the server role

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants