CONTRIBUTING.md: Describe my role more accurately.

"Project lead" is quite vague. Make it clear that I'm the only person with direct commit access.
elves · Jan 4, 2024 · f2fe6af · f2fe6af
1 parent d5e66c2
commit f2fe6af
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -2,10 +2,11 @@
 
 ## Human communication
 
-The project lead is @xiaq, who is reachable in the user group most of the time.
-
-If you intend to make user-visible changes to Elvish's behavior, it is good idea
-to talk to him first; this will make it easier to review your changes.
+The only person with direct commit access is the project's founder @xiaq. If you
+intend to make user-visible changes to Elvish's behavior (as opposed to fixing
+typos and obvious bugs), it is good idea to talk to him first; this will make it
+easier to review your changes. He should be reachable in the user group most of
+the time.
 
 On the other hand, if you find it easier to express your thoughts directly in
 code, it is also completely fine to directly send a pull request, as long as you