Currently runs on PHP 7.2.
civicrm.org runs on PHP 8.0.
Repo: https://lab.civicrm.org/infrastructure/extdir.git