all: accept Github PRs
Change-Id: I804784c97e4133f7ea3e0757e5591915331bb346
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/2289
Reviewed-by: Marcel van Lohuizen <mpvl@google.com>
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.