Good day. As you requested I have created https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/PrimarySources. I have not, however, imported anything from https://github.com/marfox/pst-frontend. You should be able to do so, however as I granted you ownership of that repo in Gerrit. Best regards.