minor amendments to release process/changelog

based on lessons learned from failed release v0.39.0,
`git push && git push --follow-tags` is smarter because
it reduces the chance of an unreleasable tag being pushed.
(git pushes the tags before it pushes the commits).
Merge pull request #5750 from rolandwalker/release_process_updates

minor amendments to release process/changelog