diff -r e5f98f30bdf6 -r ad4e0ebd3693 scripts/get-rocksdb.sh
--- a/scripts/get-rocksdb.sh	Fri Sep 13 20:18:57 2024 -0400
+++ b/scripts/get-rocksdb.sh	Fri Sep 13 22:17:56 2024 -0400
@@ -1,3 +1,3 @@
 #!/usr/bin/env bash
 # get RocksDB source code
-git clone https://vc.compiler.company/packy/rocksdb.git .stash/src/rocksdb
+git clone https://vc.compiler.company/packy/rocksdb .stash/src/rocksdb