Update REQUIREMENTS.md

coq-community · Jan 11, 2024 · 4d2d532 · 4d2d532
1 parent 1dba18e
commit 4d2d532
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/artifact-doc/REQUIREMENTS.md b/artifact-doc/REQUIREMENTS.md
@@ -5,9 +5,8 @@ requirements.
 
 ## Using github codespaces
 
-You need to have remaining minutes of usage in your Codespaces plan.
-Unless you are often using Codespaces for free, this requirement
-should be met.
+You need a github account and remaining minutes of usage in your Codespaces plan.
+Unless you are often using Codespaces for free, this requirement should be met.
 
 ## Using VSCode