ramsdell@MM270114-PC ~ % cd rep/saw-script 
ramsdell@MM270114-PC saw-script % git pull
remote: Enumerating objects: 584, done.
remote: Counting objects: 100% (584/584), done.
remote: Compressing objects: 100% (232/232), done.
remote: Total 584 (delta 305), reused 533 (delta 285), pack-reused 0
Receiving objects: 100% (584/584), 420.00 KiB | 2.74 MiB/s, done.
Resolving deltas: 100% (305/305), completed with 42 local objects.
From github.com:GaloisInc/saw-script
   ab46c76e0..4070dd44e  master                -> origin/master
 * [new branch]          T1859-more-progress   -> origin/T1859-more-progress
 * [new branch]          feature/lsp           -> origin/feature/lsp
   6bf3975aa..5ba2bb3f3  heapster/higher-order -> origin/heapster/higher-order
 + a31885dee...50985e14f match-concrete-size-array -> origin/match-concrete-size-array  (forced update)
 * [new branch]          purify-theoremdb      -> origin/purify-theoremdb
 * [new branch]          release-1.0           -> origin/release-1.0
 + b5c6ae6bf...cc8102af0 sb/yosys-comp         -> origin/sb/yosys-comp  (forced update)
   dec00ff74..c040ab504  solver-caching        -> origin/solver-caching
 + ef060e912...83a7fa982 sygus                 -> origin/sygus  (forced update)
 * [new tag]             v1.0                  -> v1.0
Fetching submodule deps/crucible
From https://github.com/GaloisInc/crucible
   7f0faecc2..058076cad  crux-mir-nightly-2023-01-23 -> origin/crux-mir-nightly-2023-01-23
   b146bcf77..83ff0b1a7  master           -> origin/master
 + 1c74b325c...9277c1f66 match-concrete-size-array -> origin/match-concrete-size-array  (forced update)
 * [new branch]          release-crux-0.7 -> origin/release-crux-0.7
 * [new tag]             crux-v0.7        -> crux-v0.7
Fetching submodule deps/cryptol
From https://github.com/GaloisInc/cryptol
 * [new branch]        ci-cabal-3.10        -> origin/ci-cabal-3.10
 * [new branch]        ci_multidoc          -> origin/ci_multidoc
   77fd64f8..179c2cf6  functors-merge       -> origin/functors-merge
   db557b46..e0ae37ad  master               -> origin/master
 * [new branch]        projects             -> origin/projects
 * [new branch]        release-3.0.0        -> origin/release-3.0.0
 * [new branch]        sort_docversions     -> origin/sort_docversions
 * [new branch]        test.Dockerfile-sync -> origin/test.Dockerfile-sync
 * [new tag]           3.0.0                -> 3.0.0
Fetching submodule deps/cryptol-specs
From https://github.com/galoisinc/cryptol-specs
 * [new branch]      dilithium-ntt         -> origin/dilithium-ntt
 * [new branch]      functors              -> origin/functors
   0dfda85..83c55a0  master                -> origin/master
 * [new branch]      post-quantum-specs    -> origin/post-quantum-specs
 * [new branch]      sb/functors-ci-pin    -> origin/sb/functors-ci-pin
 * [new branch]      sb/functors-sha-merge -> origin/sb/functors-sha-merge
fatal: remote error: upload-pack: not our ref 255b081de6757761592f8cdbb4f2804d88c7fb5a
Errors during submodule fetch:
	deps/crucible
ramsdell@MM270114-PC saw-script %