Removed push style for incompatibility with old git versions