]> gitweb.ps.run Git - ps-cgit/commitdiff
Add repo.hide and repo.ignore
authorLukas Fleischer <cgit@cryptocrack.de>
Thu, 29 Jan 2015 11:52:49 +0000 (12:52 +0100)
committerJason A. Donenfeld <Jason@zx2c4.com>
Thu, 29 Jan 2015 15:41:14 +0000 (16:41 +0100)
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>

No differences found