Don't we need to ``git checkout develop`` before we do this?  So, we would that before we tell the person to change CHANGES.yaml, a few lines above?