Skip to content

Conversation

@michalsustr
Copy link
Collaborator

I'm adding a Makefile I've used in other project and works really well for me, to run and apply checks before pushing pull requests.

@michalsustr michalsustr changed the title Improve repository utils Improve repository utils + run formatting Nov 22, 2025
@michalsustr michalsustr added the exclude from changelog This change will NOT be included in the changelog label Nov 22, 2025
@michalsustr
Copy link
Collaborator Author

I'm making a judgment call with this one, as it makes actual dev easier, and there is not much to review besides my Makefile.

@michalsustr michalsustr merged commit 99ddd79 into main Nov 23, 2025
10 checks passed
@michalsustr michalsustr deleted the ms/makefile branch November 23, 2025 15:20
michalsustr added a commit that referenced this pull request Nov 26, 2025
I'm adding a `Makefile` I've used in other project and works really well
for me, to run and apply checks before pushing pull requests.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

exclude from changelog This change will NOT be included in the changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants