• extdir Drupal module
• extdir Symfony app
• Extension usage stats

extdir Drupal module

extdir handles both the extension directory and also has a Drush command to scan/update known extensions for new releases.

This runs from Jenkins:
https://test.civicrm.org/view/Sites/job/Extdir%20Scan%20(civicrm.org)/

To run manually (from www-prod-2):

sudo -i -u aegir
drush @civicrm.org extdir-scan

To debug a specific extension:

sudo -i -u aegir
drush @civicrm.org extdir-scan '/Mobile/' --test

Some documentation in the dev book:
https://docs.civicrm.org/dev/en/latest/extensions/publish/#publishing-a-civicrm-extension

The code does not seem to have its own git repository. It is part of the civicrm-org-platform repo:
https://github.com/civicrm/civicrm-org-platform/tree/master/sites/all/modules/custom/extdir

extdir Symfony app

https://lab.civicrm.org/infrastructure/extdir/

Service that runs on top of the Drupal extdir, to add more information about extensions.

Extension usage stats

https://lab.civicrm.org/marketing/civicrm-website/tree/master/civiext/org.civicrm.civicrmorgstats