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

Remove debug files and filter them in gitignore #153

Merged

Conversation

bakpaul
Copy link
Collaborator

@bakpaul bakpaul commented Jan 20, 2025

!! DO NOT MERGE !!
We need to decide between this PR and PR #152

This removes debug files and filter them in gitignore, avoiding to commit them in the repo and in the meantime having them in packages.

We need to define weather we still want to have those debug files in the repo or not, if not this PR should be merged, if yes, the other one is needed to reduce size of packages.

@bakpaul bakpaul added the pr: status wip Development in the pull-request is still in progress label Jan 20, 2025
Copy link
Member

@alxbilger alxbilger left a comment

Choose a reason for hiding this comment

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

@olivier-goury @VannesteFelix Could you just explain a bit more what the purpose of the function createDebug is?

@bakpaul bakpaul merged commit 5b83e73 into SofaDefrost:master Jan 31, 2025
3 of 4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pr: status wip Development in the pull-request is still in progress
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants