Thomas Letan authored Apr 23, 2024 and Marge Bot committed Apr 24, 2024

With V13 newly created, and V20 branch cut, it is time to switch Alpha to use
the new environment.

This patch follows the procedure described in
`protocol_environment_upgrade.rst` and issue #4155.