Add notes for push.default