This is what I'm referring to below when I say that we need to ``git checkout develop`` explicitly after making the release.