Verify the Ubuntu git repo (solves #5)