-
Notifications
You must be signed in to change notification settings - Fork 0
5 REQ filter
References:
- in branch main: 1
Many repositories contain files and folders that should be ignored when searching for references. e.g. build outputs, git folder, ...
Most projects already use .gitignore
files to exclude those files and folders.
Therefore, mantra must adhere to settings of a .gitignore
file that is found in the current or parent directories of a repository.
Additionally, mantra must offer .ignore
files to specify files and folders that must be ignored in addition to the .gitignore
file.
Besides .ignore
, it must also be possible to use .mantraignore
files to be more strict with ignores for mantra.
Note: The .git
folder is always ignored, because it cannot hold valid references.
Created in response to issue #19.
Please create an issue if you found any spelling mistakes.
You may also create an issue if you think the content of this wiki should be improved.
Note: This wiki is managed in its own repository. Any commits made using the edit
button will be overwritten.
Note: Issues for the wiki are handled in the mantra repository, but pull requests for the wiki are handled in the mantra-wiki repository.
This wiki is MIT licensed, and works together with mantra.
{{
Sidebar that is displayed on every wiki page.
}}
Last update: 2023-09-28_14:02 UTC
Repository: mhatzl/mantra
Branch: main
Commit: 82d26a6