CONTRIBUTING.md: we do not currently support GitHub PRs

Change-Id: Ia23b54a849fc5eb41f2abdd4e700477a97973dd2
This commit is contained in:
Leo 2021-10-17 18:39:17 +02:00
parent f8a81d80f8
commit d979210c9a
1 changed files with 1 additions and 2 deletions

View File

@ -75,8 +75,7 @@ advantage of dealing with a stack of individual commits, rather than reviewing a
much easier to review large features by breaking them down into smaller pieces, and puts a large emphasis on much easier to review large features by breaking them down into smaller pieces, and puts a large emphasis on
clean commits with meaningful commit messages. This workflow helps us write better software. clean commits with meaningful commit messages. This workflow helps us write better software.
We also accept contributions via **GitHub PRs**, but we strongly recommend to give Gerrit a try. Gerrit has We do not currently accept GitHub pull requests.
somewhat of a learning curve, but offers a much nicer experience (think of it as Vim vs. Notepad).
The GitHub repository is a mirror of the Gerrit repository. GitHub has a global CDN for Git, so if you plan The GitHub repository is a mirror of the Gerrit repository. GitHub has a global CDN for Git, so if you plan
to clone the Wormhole repo a lot in an automated fashion, please clone it from GitHub. to clone the Wormhole repo a lot in an automated fashion, please clone it from GitHub.