dot/gitconfig.in: Push the current branch only by default.
[profile] / kermit / net.shared
2012-02-20 Mark WoodingMerge branch 'master' of git://git.distorted.org.uk...
2012-02-20 Mark WoodingImprove Kermit configuration.