Development effort from our end went into build.postmarketos.org (in short BPO). This is the name of both the website seen in the second screenshot, as well as the source code for the program that generates the website. Besides that, it manages the jobs that run on sourcehut builds.

BPO has 91% test coverage. A rather unusual design decision is that the website is generated as static HTML page whenever there is a change. It is not generated on demand when requested via HTTP. This seems highly appropriate though, as the content at most changes a few times per second.

We have come a long way from initially having no binary repository and expecting all developers to build everything from source at the project's public launch in May of 2017. During the following months we had an inofficial repository of binary packages for Plasma Mobile packages on postmarketOS at one point. Until we got the first official binary repository at the end of 2017. But that one had to be manually triggered and the build logs where not available online.

Now it's completely automated and transparent, and multiple developers of the core team are able to fix things if they go south. Therefore we allow more people to merge incoming patches, and it is already apparent that this has resulted in increased productivity.