Notate that RE requires pushing to both repos including tags.