server.py: Detect the HEAD changes within the same repository
server.py: Prettify the queue page
main.py: Detect merge conflicts when testing a single pull request