Actions

What extension is used to manage extensions.joomla.org?

From Joomla! Documentation

It is a customized version of Mosets Tree (a commercial component you can find in the Joomla! Extensions Directory ).