aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--CONTRIBUTING.md40
1 files changed, 30 insertions, 10 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 8227b374..2aa9f8e2 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -103,19 +103,38 @@ That's it! Thank you for your contribution!
When the patch is reviewed and merged, you can safely delete your branch and pull the changes
from the main (upstream) repository:
-```shell
-# Delete the remote branch on Github:
-git push origin --delete my-fix-branch
+* Delete the remote branch on Github:
-# Check out the master branch:
-git checkout master -f
+ ```shell
+ git push origin --delete my-fix-branch
+ ```
-# Delete the local branch:
-git branch -D my-fix-branch
+* Check out the master branch:
+
+ ```shell
+ git checkout master -f
+ ```
+
+* Delete the local branch:
+
+ ```shell
+ git branch -D my-fix-branch
+ ```
+
+* Update your master with the latest upstream version:
+
+ ```shell
+ git pull --ff upstream master
+ ```
+
+### GitHub Pull Request Helper
+
+We track Pull Requests by attaching labels and assigning to milestones. For some reason GitHub
+does not provide a good UI for managing labels on Pull Requests (unlike Issues). We have developed
+a simple Chrome Extension that enables you to view (and manage if you have permission) the labels
+on Pull Requests. You can get the extension from the Chrome WebStore -
+[GitHub PR Helper](github-pr-helper)
-# Update your master with the latest upstream version:
-git pull --ff upstream master
-```
## Coding Rules
To ensure consistency throughout the source code, keep these rules in mind as you are working:
@@ -224,3 +243,4 @@ You can find out more detailed information about contributing in the
[individual-cla]: http://code.google.com/legal/individual-cla-v1.0.html
[corporate-cla]: http://code.google.com/legal/corporate-cla-v1.0.html
[commit-message-format]: https://docs.google.com/document/d/1QrDFcIiPjSLDn3EL15IJygNPiHORgU1_OOAqWjiDU5Y/edit#
+[github-pr-helper]: https://chrome.google.com/webstore/detail/github-pr-helper/mokbklfnaddkkbolfldepnkfmanfhpen \ No newline at end of file