Skip to content

Suggestion: add pre commit#52

Open
Fabianthorsen wants to merge 2 commits into
masterfrom
chore/add-pre-commit
Open

Suggestion: add pre commit#52
Fabianthorsen wants to merge 2 commits into
masterfrom
chore/add-pre-commit

Conversation

@Fabianthorsen

Copy link
Copy Markdown
Collaborator

Suggestions to add pre-commit in order to have consistent formatting guidelines for everyone to push to the repo. It is not mandatory to install the hooks, but is usually a good idea. Requires the users to run julia -e 'using Pkg; Pkg.add("JuliaFormatter")' in order to be able to pass the formatting step for julia. The formatting specs can then be put in a TuLiPa/.JuliaFormatter.toml in order to change behavior of the formatter.

@Fabianthorsen Fabianthorsen requested review from cjuli1 and pertft March 25, 2026 07:53
@Fabianthorsen Fabianthorsen changed the title add pre commit Suggestion: add pre commit Mar 25, 2026
@Fabianthorsen Fabianthorsen self-assigned this Mar 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant