Read the Docs build information Build id: 1669132 Project: menmice-micetro-by-menmice Version: 10.1 Commit: 94cdd3d689df5f9f456514df8a89e882285409dd Date: 2023-08-18T14:49:19.241661Z State: cancelled Success: False [rtd-command-info] start-time: 2023-08-18T14:49:30.282385Z, end-time: 2023-08-18T14:49:33.102530Z, duration: 2, exit-code: 0 git clone --depth 1 https://github.com/menandmice/micetro_docs.git . Cloning into '.'... [rtd-command-info] start-time: 2023-08-18T14:49:34.062885Z, end-time: 2023-08-18T14:49:34.864597Z, duration: 0, exit-code: 0 git fetch origin --force --prune --prune-tags --depth 50 refs/heads/10.1:refs/remotes/origin/10.1 From https://github.com/menandmice/micetro_docs * [new branch] 10.1 -> origin/10.1 [rtd-command-info] start-time: 2023-08-18T14:49:35.988650Z, end-time: 2023-08-18T14:49:36.213111Z, duration: 0, exit-code: 0 git checkout --force origin/10.1 Note: switching to 'origin/10.1'. You are in 'detached HEAD' state. You can look around, make experimental changes and commit them, and you can discard any commits you make in this state without impacting any branches by switching back to a branch. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -c with the switch command. Example: git switch -c Or undo this operation with: git switch - Turn off this advice by setting config variable advice.detachedHead to false HEAD is now at 94cdd3d Create conf.py [rtd-command-info] start-time: 2023-08-18T14:49:36.638002Z, end-time: 2023-08-18T14:49:36.700348Z, duration: 0, exit-code: 0 git clean -d -f -f