Hi,
https://www.postgresql.org/ftp/source/
has a 'v12' subdirectory where, I suppose, a 'v12beta2' directory should be.
Maybe that should be updated?
(The files inside seem correctly named.)
Erik Rijkers