With Github, you can now pin a repository to the top of the page (up to 6).

Since we have some repositories that aren't really of much interest to the public, I've pinned these:

* phpmyadmin
* docker
* themes
* sql-parser
* motranslator
* shapefile

You can check it out on the project page at https://github.com/phpmyadmin and let me know if you have any suggestions for change.