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.

Sign up for GitHub

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

Jump to bottom

Ignore dist dir #307

Merged

faktas2 merged 1 commit into main from greg/ignore-dist

Apr 10, 2024

Member

oschwald commented Apr 9, 2024

So that the Git repo does not show up as dirty in the build info.


          Ignore dist dir

4089b56

So that the Git repo does not show up as dirty in the build info.

faktas2 approved these changes

View reviewed changes

faktas2 merged commit 7a94b1f into main

17 checks passed

faktas2 deleted the greg/ignore-dist branch

April 10, 2024 14:21

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet