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-scanTo debug a specific extension:
sudo -i -u aegir
drush @civicrm.org extdir-scan '/Mobile/' --testSome 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