Apply suggestions from code review

Co-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>
model-checking · Jul 3, 2024 · 0a5c2f8 · 0a5c2f8
1 parent 6957f68
commit 0a5c2f8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/src/general-rules.md b/doc/src/general-rules.md
@@ -84,7 +84,7 @@ Solutions must be automated using one of the tools previously approved and liste
 
 ## Committee Applications
 
-You can apply to be part of the committee by submitting a pull request that adds your github login name to the pull_request.toml file.
+You can apply to be part of the committee by submitting a pull request that adds your GitHub login name to the `pull_request.toml` file.
 
 For example, if your user login is @rahulku, add the login without @ to the committee member's list,
 ```