Read the Docs build information Build id: 95617 Project: tiledb-inc-tiledb Version: latest Commit: None Date: 2018-03-22T00:51:00.800722Z State: finished Success: False [rtd-command-info] start-time: 2018-03-22T05:51:02.506830Z, end-time: 2018-03-22T05:51:02.518333Z, 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'