Skip to content

Conversation

@JasonAtClockwork
Copy link
Contributor

@JasonAtClockwork JasonAtClockwork commented Dec 18, 2025

Description of Changes

With the refactor docs I had left the original module folder and mistakenly didn't remove it as requested as per Tyler's comment: #3877 (review):

Also please remove the "old files" before merging.

API and ABI breaking changes

N/A

Expected complexity level and risk

1

Testing

Removal of documents there is no test to run

@JasonAtClockwork JasonAtClockwork self-assigned this Dec 18, 2025
@JasonAtClockwork JasonAtClockwork marked this pull request as ready for review December 18, 2025 16:22
Copy link
Contributor

@rekhoff rekhoff left a comment

Choose a reason for hiding this comment

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

All file being removed are marked as old in their slugs and labels, which matches the targeted files being requested for removal. Approved!

@JasonAtClockwork JasonAtClockwork added this pull request to the merge queue Dec 18, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 18, 2025
@JasonAtClockwork JasonAtClockwork added this pull request to the merge queue Dec 18, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 18, 2025
@bfops bfops enabled auto-merge December 18, 2025 22:11
@bfops bfops added this pull request to the merge queue Dec 19, 2025
Merged via the queue into master with commit 9daf51e Dec 19, 2025
82 of 87 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants