Skip to main content
diff options
authorDaniel2019-06-27 10:27:13 -0400
committerDaniel2019-06-27 10:27:13 -0400
commitd1707ca7107bc961f74edf818ab6285e208950b9 (patch)
parent449d5a4a4e9e6512c5dc30dc5c051a228e768180 (diff)
Better instructions for new committers
1 files changed, 1 insertions, 1 deletions
diff --git a/get-involved.php b/get-involved.php
index c1f71a2..e7d5538 100644
--- a/get-involved.php
+++ b/get-involved.php
@@ -49,7 +49,7 @@ $html = <<<EOHTML
<h2>Contribute code</h2>
- <li>Check out our codebase from the <a href="" target="_blank">Git repository</a> at Eclipse.</li>
+ <li>Check out our codebase from the <a href="" target="_blank">Git repository</a> at Eclipse. Please refer to our instructions for <a href="" target="_blank">importing projects and resolving dependencies</a>. We recommend </li>
<li>Ideally, please use <a href="" target="_blank">Gerrit</a> to contribute changes to the codebase. This allows us to apply our quality assurance process to all contributions. In our Wiki, we provide more detailed descriptions for <a href="" target="_blank">working with Gerrit</a>.</li>
<li>Alternatively, you can also submit patches via e-mail -- especially if you want to contribute relatively small changes that do not justify the overhead of setting up Gerrit. In this case, <a href="#get-in-touch">get in touch with us</a>.</li>

Back to the top