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

.gitignore: refactor, unify & update #1731

Merged
merged 1 commit into from
Jul 4, 2023
Merged

.gitignore: refactor, unify & update #1731

merged 1 commit into from
Jul 4, 2023

Conversation

ia
Copy link
Collaborator

@ia ia commented Jul 4, 2023

  • Please check if the PR fulfills these requirements
  • The changes have been tested locally
  • There are no breaking changes
  • What kind of change does this PR introduce?
    Since .gitignore is presented & maintained for this repo, probably it should be updated due to some recent changes & due to actualization of the content:
  • refactor to make common style
  • toss already added lines around file to the more related sections
  • replace ci/artefacts by scripts/ci/artefacts due to recent root directory refactoring
  • add site/ directory for locally generated static docs by MkDocs
  • add ignore for files of source code tagging systems like GNU Global, ctags, and cscope
  • What is the current behavior?
    Current behavior of git may not be reliable for such files and/or directorys as site/, scripts/ci/artefacts, etc. Plus, since .gitignore mentions all main IDEs and their configuration files, adding popular source code tag files may be reasonable as well.

  • What is the new behavior (if this is a feature change)?
    With new behavior git should ignore explicitly such files as site/, scripts/ci/artefacts, tags, GTAGS, cscope, etc.

  • Other information:
    P.S. I guess once a Pull-Request is merged & closed, a user may not receive notifications for new comments. If so, I would like to ask to look at this comment which may be not seen yet (and the one just above). Thanks :)

@Ralim Ralim merged commit 8c17a08 into Ralim:dev Jul 4, 2023
@Ralim
Copy link
Owner

Ralim commented Jul 4, 2023

I've seen your other message, just haven't been at PC to do it.

I get an email for everything that happens on here 😂

@ia ia deleted the ignore-tags branch July 11, 2023 17:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants