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
Add editor- and os-specific temporary files to .gitignore #15241
Labels
Milestone
Comments
comment:1
Selection from https://github.com/github/gitignore/tree/master/Global
|
Author: Volker Braun |
Branch: u/vbraun/git_ignore |
Branch pushed to git repo; I updated commit sha1. New commits:
|
Commit: |
Reviewer: Robert Bradshaw |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
We should add a set of globs that ignore common temporary files.
Component: build
Author: Volker Braun
Branch/Commit: u/vbraun/git_ignore @
1ccb8e5
Reviewer: Robert Bradshaw
Issue created by migration from https://trac.sagemath.org/ticket/15241
The text was updated successfully, but these errors were encountered: