From: Lukas Fleischer <cgit@cryptocrack.de>
Date: Thu, 29 Jan 2015 11:52:49 +0000 (+0100)
Subject: Add repo.hide and repo.ignore
X-Git-Url: https://gitweb.ps.run/ps-cgit/commitdiff_plain/c58cec9dff273b44c428cfaee24e5e3743c0034e?ds=inline;hp=c58cec9dff273b44c428cfaee24e5e3743c0034e

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>
---