Update README.md

Grammar fix in readme. Co-authored-by: Tamás Tóth <[email protected]>
runtimeverification · Dec 4, 2024 · 7fb171e · 7fb171e
1 parent 53976a8
commit 7fb171e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -129,7 +129,7 @@ Checkout the repository you wish to run automerge on to a local directory.
 git clone [email protected]:org/automerge.git
 cd automerge
 ```
-Setup GITHUB_TOKEN with the appropriate permissions. Content Read/Write, Pull Request Read/Write, adminstration Read, Checks Read. 
+Setup `GITHUB_TOKEN` with the appropriate permissions: Content Read/Write, Pull Request Read/Write, Adminstration Read, Checks Read. 
 Now you need to run the command from this new directory. 
 RV setup a test repository with Pull Requests in Known States to validate the action is working as expected. 
 ```bash