Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Docs] pre-commit setup and use #1107

Merged
merged 4 commits into from
May 21, 2024
Merged

[Docs] pre-commit setup and use #1107

merged 4 commits into from
May 21, 2024

Conversation

hugsy
Copy link
Owner

@hugsy hugsy commented May 19, 2024

Description

Added documentation on how to use pre-commit for GEF

Fixes #1063

@hugsy hugsy added this to the 2024.05 milestone May 19, 2024
@hugsy hugsy self-assigned this May 19, 2024
Copy link

🤖 Coverage update for dfda496 🟢

Old New
Commit 220611a dfda496
Score 71.4923% 71.4923% (0)

1 similar comment
Copy link

🤖 Coverage update for dfda496 🟢

Old New
Commit 220611a dfda496
Score 71.4923% 71.4923% (0)

Copy link

🤖 Coverage update for fa05c18 🟢

Old New
Commit 220611a fa05c18
Score 71.4923% 71.4923% (0)

1 similar comment
Copy link

🤖 Coverage update for fa05c18 🟢

Old New
Commit 220611a fa05c18
Score 71.4923% 71.4923% (0)

Copy link

🤖 Coverage update for bca8a3c 🟢

Old New
Commit 220611a bca8a3c
Score 71.4923% 71.4923% (0)

1 similar comment
Copy link

🤖 Coverage update for bca8a3c 🟢

Old New
Commit 220611a bca8a3c
Score 71.4923% 71.4923% (0)

Copy link
Collaborator

@Grazfather Grazfather left a comment

Choose a reason for hiding this comment

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

slight wording suggestions

docs/testing.md Outdated Show resolved Hide resolved
docs/testing.md Outdated Show resolved Hide resolved
Copy link

🤖 Coverage update for 5a3fb23 🟢

Old New
Commit 220611a 5a3fb23
Score 71.4923% 71.4923% (0)

1 similar comment
Copy link

🤖 Coverage update for 5a3fb23 🟢

Old New
Commit 220611a 5a3fb23
Score 71.4923% 71.4923% (0)

@hugsy hugsy merged commit 2c26e33 into main May 21, 2024
6 checks passed
@hugsy hugsy deleted the issue_1063 branch May 21, 2024 01:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Docs] Add pre-commit documentation
3 participants