Skip to content

Docs: pre-commit in combination with custom package index - #112

Merged
mgovers merged 1 commit into
mainfrom
pgm/docs/pre-commit-custom-index
Jul 31, 2026
Merged

Docs: pre-commit in combination with custom package index#112
mgovers merged 1 commit into
mainfrom
pgm/docs/pre-commit-custom-index

Conversation

@mgovers

@mgovers mgovers commented Jul 31, 2026

Copy link
Copy Markdown
Member

Signed-off-by: Martijn Govers <Martijn.Govers@Alliander.com>
@mgovers mgovers self-assigned this Jul 31, 2026
@mgovers mgovers added the documentation Improvements or additions to documentation label Jul 31, 2026

@figueroa1395 figueroa1395 left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Tested locally and works no problem. It's also just a nice recommendation.

@mgovers
mgovers merged commit 61c8807 into main Jul 31, 2026
1 check passed
@mgovers
mgovers deleted the pgm/docs/pre-commit-custom-index branch July 31, 2026 09:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants