Make build number into link to GitHub
Better stop behaviour for the Docker hosts