I want to use
do-release-upgrade to upgrade from 18.04 to 20.04, but I can't do that
do-release-upgrade Checking for a new Ubuntu release There is no development version of an LTS available.
It seems that this file is used, and it still points to 18.04.
Do you know when (or how?) can I upgrade to 20.04?