tree c80912a5c88bb09fc3475a0b08006aa768c91d1d
parent 7934aeb5c0c8fc6464c6ea83587bfc76ac7b6d66
author Ed Merks <ed.merks@gmail.com> 1647594529 +0100
committer Ed Merks <ed.merks@gmail.com> 1647594529 +0100

[Releng] Update Platform.setup with more github migrations.