Circle CI: Generate nicer repo URL