From f3c342c1fe989c47acc3923b3876e3bcde20d0e4 Mon Sep 17 00:00:00 2001
From: Andrea Lattuada <andrea@lattuada.me>
Date: Wed, 21 Aug 2024 18:08:59 +0200
Subject: [PATCH] point to sha on review site

---
 site/guide.md | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/site/guide.md b/site/guide.md
index 27a5040..4dc1d2e 100644
--- a/site/guide.md
+++ b/site/guide.md
@@ -86,8 +86,6 @@ You can remove them at the end of the Set 1 with `docker rmi <image_name>`.
 
 #### 1. Clone artifact repository, set up container environment.
 
-**TODO.** git sha.
-
 Clone the repository
 
 ```shell
@@ -95,7 +93,13 @@ sudo chown $USER /mydata
 cd /mydata
 git clone -b main --single-branch https://github.com/verus-lang/paper-sosp24-artifact.git verus-sosp24-artifact
 cd verus-sosp24-artifact
-# git checkout <sha>
+```
+
+Optionally, if you would like to obtain the exact version of this artifact at submission time,
+check out the exact commit "refspec" (SHA) as indicated on the Artifact Evaluation review site:
+
+```shell
+git checkout <sha>
 ```
 
 and run the script `setup/cloudlab-1.sh`