[darcs-users] [patch136] remove the hardcoded string "_darcs" in ... (and 1 more)

Petr Ročkai bugs at darcs.net
Wed Jan 13 07:15:28 UTC 2010

Petr Ročkai <me at mornfall.net> added the comment:

Daniel Dickison <bugs at darcs.net> writes:
> If you wouldn't mind a possibly naïve question, why is it necessary to
> special case the _darcs directory when the default boring file already
> contains the following line?  (^|/)_darcs($|/)
I assume this is because the boring file can be overriden. If someone
managed to create patches referring to files under _darcs (by removing
that _darcs entry from their boring file), I can only assume that BAD
THINGS would happen.


Darcs bug tracker <bugs at darcs.net>

More information about the darcs-users mailing list