Read the Docs build information Build id: 93478 Project: tiledb-inc-tiledb Version: latest Commit: None Date: 2018-03-13T20:16:39.578514Z State: finished Success: False [rtd-command-info] start-time: 2018-03-14T01:16:40.598428Z, end-time: 2018-03-14T01:16:40.608068Z, duration: 0, exit-code: 128 git remote set-url origin https://github.com/TileDB-Inc/TileDB.git error: could not lock config file /home/docs/checkouts/readthedocs.org/user_builds/tiledb-inc-tiledb/checkouts/latest/.git/config: File exists fatal: Could not set 'remote.origin.url' to 'https://github.com/TileDB-Inc/TileDB.git'