The «develop» and «2.3-develop» git branches now contain an identical code

See also:

It looks like the Magento 2 team has noticed my article, and deleted the duplicated develop branch:

See How to fix «Your configuration specifies to merge with the ref ‘refs/heads/develop’ from the remote, but no such ref was fetched.»?