mirror of
https://github.com/ovh/the-bastion.git
synced 2026-05-09 08:25:27 +02:00
[PR #599] [MERGED] docs(dev,setup): fix the pre-commit example and script helper #600
Labels
No labels
answered
bug
documentation
enhancement
enhancement
feature
feature
kept-open-for-info
pull-request
question
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/the-bastion#600
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/ovh/the-bastion/pull/599
Author: @Linkid
Created: 12/11/2025
Status: ✅ Merged
Merged: 12/15/2025
Merged by: @speed47
Base:
master← Head:fix-doc-env-setup-check📝 Commits (2)
c84f2c4docs(dev,setup): fix the pre-commit example63c74d5docs(dev,setup): update the script helper📊 Changes
1 file changed (+13 additions, -9 deletions)
View changed files
📝
doc/sphinx/development/setup.rst(+13 -9)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.