dot/gitconfig.in: Push the current branch only by default.
[profile] / .gitignore
1 /local.mk
2 /out/