diff --git a/README.md b/README.md
index e856bf9..e4b3775 100644
--- a/README.md
+++ b/README.md
@@ -130,7 +130,7 @@
 To report issues or make a feature request, use the
 [issue tracker](https://github.com/cuelang/cue/issues).
 
-##### Note that we do not accept pull requests and that we use the issue tracker for bug reports and proposals only.
+Changes can be contributed using Gerrit or Github pull requests.
 
 Unless otherwise noted, the CUE source files are distributed
 under the Apache 2.0 license found in the LICENSE file.
diff --git a/doc/contribute.md b/doc/contribute.md
index 512ae06..b1c4a9c 100644
--- a/doc/contribute.md
+++ b/doc/contribute.md
@@ -126,6 +126,10 @@
 
 ### Step 2: Configure git authentication
 
+The remaining two steps only apply if you wish to contribute through Gerrit,
+which is the source of truth for the CUE project. You can also send Pull
+Requests to the mirror at https://github.com/cuelang/cue.
+
 The main CUE repository is located at
 [cue.googlesource.com](https://cue.googlesource.com),
 a Git server hosted by Google.
@@ -316,7 +320,8 @@
 
 ## Sending a change via Gerrit
 
-It is not possible to fully sync Gerrit and GitHub, at least at the moment,
+It is not possible to fully sync Gerrit and GitHub,
+although things are improving,
 so we recommend learning Gerrit.
 It's different but powerful and familiarity
 with help you understand the flow.