Update CONTRIBUTING.md

Closes https://github.com/dart-lang/sdk/pull/52410

GitOrigin-RevId: a81636fadcf2c506cc3b0946388055aa7442b2ad
Change-Id: I70efc8015e4bf3c1c4d6f230de8e0d1a735d636a
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/303680
Reviewed-by: Alexander Thomas <athom@google.com>
This commit is contained in:
Michael Thomsen
2023-05-16 13:04:13 +00:00
parent 2369a3be0f
commit bb62614202
+2 -2
View File
@@ -26,7 +26,7 @@ We occasionally take pull requests, e.g., for comment changes, but the main flow
## Submitting patches directly from GitHub
This repository uses Gerrit for code reviews, rather than GitHub PRs. However, you may submit a GitHub PR from the GitHub interface, e.g. to edit some API documentation, and it will be automatically converted into a Gerrit CL by copybara. You can find the link to that CL from the GitHub "checks" interface, it will be the "details" of the "copybara" check. The PR will be automatically closed when the CL is reviewed and landed.
This repository uses [Gerrit for code reviews](https://dart-review.googlesource.com/), rather than GitHub PRs. However, you may submit [a GitHub PR ](https://github.com/dart-lang/sdk/pulls), e.g. to edit some API documentation, and it will be automatically converted into a Gerrit CL by a copybara-service bot. You can find the link to that CL as a comment left on the PR by the bot. Any changes made to the PR after opening will also be sync'ed by the bot into the Gerrit review. The PR will be automatically closed when the CL is reviewed and landed.
## Setting up the environment
@@ -38,7 +38,7 @@ To work with the Dart code, you need to download and build the development branc
## Starting a patch with git
Create a new branch using `git new-branch` (this is a command added by the aforementioned depot_tools).
Create a new branch using `git new-branch` (this is a command added by the aforementioned depot_tools).
You can be in any branch when you run `git new-branch`.