From 088c567b92e67675542a418bd82a907a9abaf0b5 Mon Sep 17 00:00:00 2001
From: Ashwin Ramaswami <aramaswamis@gmail.com>
Date: Tue, 1 Aug 2023 18:13:27 +0000
Subject: [PATCH] update doc

---
 CONTRIBUTING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 5c75b69..160b268 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -86,4 +86,4 @@ The core team will promptly review your Pull Request and either merge it or requ
 
 ### Code style
 
-Make sure to enable lint on-save. You can also run the commands `yarn prettier` and `yarn lint`. This will be checked by CI when you open a Pull request.
+Make sure to enable lint on-save. You can also run the command `yarn lint`. This will be checked by CI when you open a Pull request.