Skip to content

Add file root option#746

Merged
p53 merged 1 commit into
masterfrom
add-file-root-option
Jul 8, 2026
Merged

Add file root option#746
p53 merged 1 commit into
masterfrom
add-file-root-option

Conversation

@p53

@p53 p53 commented Jul 5, 2026

Copy link
Copy Markdown

Title

Summary

Type

[] Bug fix
[] Feature request
[] Enhancement
[] Docs

Why?

Requirements

How to try it?

Documentation

Additional Information

Checklist:

  • My change requires a change to the documentation or CHANGELOG.
  • I have updated the documentation/CHANGELOG accordingly.

@p53 p53 self-assigned this Jul 5, 2026
@p53 p53 added this to the 4.11.0 milestone Jul 5, 2026
@p53 p53 added this to Gatekeeper Jul 5, 2026
@github-project-automation github-project-automation Bot moved this to In progress in Gatekeeper Jul 5, 2026
@p53
p53 force-pushed the add-file-root-option branch 14 times, most recently from 1c8641a to 8c26d3e Compare July 8, 2026 20:26
@p53
p53 force-pushed the add-file-root-option branch from 8c26d3e to 5e3749e Compare July 8, 2026 20:29
@p53
p53 merged commit 4168b6d into master Jul 8, 2026
6 checks passed
@p53
p53 deleted the add-file-root-option branch July 8, 2026 20:42
@github-project-automation github-project-automation Bot moved this from In progress to Done in Gatekeeper Jul 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant