Skip to content

Conversation

bezirg
Copy link
Contributor

@bezirg bezirg commented Oct 3, 2025

These got renamed in a previous pr.

Pre-submit checklist:

  • Branch
    • Tests are provided (if possible)
    • Commit sequence broadly makes sense
    • Key commits have useful messages
    • Changelog fragments have been written (if appropriate)
    • Relevant tickets are mentioned in commit messages
    • Formatting, PNG optimization, etc. are updated
  • PR
    • (For external contributions) Corresponding issue exists and is linked in the description
    • Targeting master unless this is a cherry-pick backport
    • Self-reviewed the diff
    • Useful pull request description
    • Reviewer requested

@bezirg bezirg self-assigned this Oct 3, 2025
@bezirg bezirg added the No Changelog Required Add this to skip the Changelog Check label Oct 3, 2025
@bezirg bezirg requested a review from Unisay October 3, 2025 16:42
@bezirg bezirg enabled auto-merge (squash) October 3, 2025 16:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
No Changelog Required Add this to skip the Changelog Check
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant