Ignore work directory too.
Obsolete repository declaration.