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

Create .gitignore across repositories with Sync Action #27

Open
facusapienza21 opened this issue Aug 8, 2023 · 1 comment
Open

Create .gitignore across repositories with Sync Action #27

facusapienza21 opened this issue Aug 8, 2023 · 1 comment
Assignees
Labels
enhancement New feature or request

Comments

@facusapienza21
Copy link
Member

I think it will be a good idea to have a .gitignore synchronize between all the ODINN family repositories. We can use this example as an starting point:

# Files generated by invoking Julia with --code-coverage
*.jl.cov
*.jl.*.cov

# Files generated by invoking Julia with --track-allocation
*.jl.mem

# System-specific files and directories generated by the BinaryProvider and BinDeps packages
# They contain absolute paths specific to the host computer, and so should not be committed
deps/deps.jl
deps/build.log
deps/downloads/
deps/usr/
deps/src/

# Build artifacts for creating documentation generated by the Documenter package
docs/build/
docs/site/

# File generated by Pkg, the package manager, based on a corresponding Project.toml
# It records a fixed state of all packages used by the project. As such, it should not be
# committed for packages, but should be committed for applications that require a static
# environment.
Manifest.toml

and maybe add the *.core that sometimes are created when running code in parallel.

Any thoughts on this @JordiBolibar ?

@facusapienza21 facusapienza21 added the enhancement New feature or request label Aug 8, 2023
@facusapienza21 facusapienza21 self-assigned this Aug 8, 2023
@JordiBolibar
Copy link
Member

@facusapienza21 I have seen some changes related to this in my emails during my holidays. I just wanted to double check if this can be closed now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants