git/local: changes to disc of git init; drop disc of .git/info/exclude