Gary Verhaegen 166842e227 update versions bbased on git tags (#6580) ... * update versions bbased on git tags We currently run the update script as part of the release process. This causes an issue (highlighted by @cocreature in #6560): the update script currently relies on querying the docs website to get the list of versions, but the docs website is updated on a cron, which means by the time we run the update script it is not up-to-date yet. This PR changes the update script to instead rely on the local git repo and its list of tags, as that is updated synchronously. CHANGELOG_BEGIN CHANGELOG_END * test * revert test		2020-07-02 16:37:13 +00:00
..
BUILD	update versions bbased on git tags (#6580)	2020-07-02 16:37:13 +00:00
UpdateVersions.hs	update versions bbased on git tags (#6580)	2020-07-02 16:37:13 +00:00