Fixed previously incorrect setting of push.default.  Now 'current'.