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:
To run manually (from
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:
The code does not seem to have its own git repository. It is part of the
extdir Symfony app
Service that runs on top of the Drupal extdir, to add more information about extensions.