push to the main repository