Merge "Add --sync support to push."