Add repo.hide and repo.ignore
These options can be used to hide a repository from the index or completely ignore a repository, respectively. They are particularly useful when used in combination with scan-path. Signed-off-by: Lukas Fleischer <cgit@cryptocrack.de>
This commit is contained in:

committed by
Jason A. Donenfeld

parent
1a2eeb94d4
commit
c58cec9dff
Reference in New Issue
Block a user