I've changed the link to Github here on the forum.
Coverity is broken and has been since the repo move, but nobody noticed because I didn't get around to doing a build.
I've changed the forum name. When are we going to move the whole forum to cuberite.org? We can export the database from the admin panel.