update RELEASE_PROCEDURE to add push tags