Merge "Add support for push --sync."