Hackathon: minor improvements to web interface

tiesjan commented 2 years ago

During October 2022's Hackathon I worked on two minor improvements to the Hoff web interface:

Reverse order of PRs awaiting approval This was already done in #121, but has been reverted in #178 for unknown reasons. It can still be argued that more recent PRs will be more likely to be merged first.
Move PR build info to the secondary info line Adding build info to the first line of a PR (also containing title and id) tends to clutter that line a bit, especially with all the text in primary color orange. It would fit well next to who approved it for merging, as secondary information about that PR.

Note: not very pressing, but a nice learning exercise.