From 82ac0208b86c8a3a913e10c81208e0716d2d4bcf Mon Sep 17 00:00:00 2001 From: Tej Chajed Date: Thu, 10 Aug 2017 16:25:52 +0100 Subject: Describe pull requests a bit more precisely --- CONTRIBUTING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'CONTRIBUTING.md') diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 983eb64a1..2aaec12a9 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -18,7 +18,7 @@ When it applies, it's extremely helpful for bug reports to include sample code, ## Pull requests -Sometimes you are able to contribute a bug fix or improvement yourself, and pull requests are the mechanism to get these changes into Coq. Documentation for getting started with the Coq sources is located at [`dev/doc`](/dev/doc). +If you want to contribute a bug fix or feature yourself, pull requests on the [GitHub repository](https://github.com/coq/coq) are the way to contribute directly to the Coq implementation. Documentation for getting started with the Coq sources is located in various files in [`dev/doc`](/dev/doc) (for example, [debugging.txt](/dev/doc/debugging.txt)). Please make pull requests against the `master` branch. -- cgit v1.2.3