Skip to content

Enable edit button in docs - #8612

Merged
philippjfr merged 3 commits into
mainfrom
enable_doc_edit
May 29, 2026
Merged

Enable edit button in docs#8612
philippjfr merged 3 commits into
mainfrom
enable_doc_edit

Merge branch 'main' into enable_doc_edit

b7e8d8f
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / zizmor succeeded May 29, 2026 in 3s

No new alerts in code changed by this pull request

View all branch alerts.