From cbcfaa2c8db02f7b529e6de0a6f8957ad03efdb5 Mon Sep 17 00:00:00 2001
From: Igor Minar
Date: Tue, 18 Feb 2014 19:52:10 -0800
Subject: docs(contributing): remove reference to the obsolete chrome extension

---
 CONTRIBUTING.md | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index be2e12ab..cbc281b9 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -143,14 +143,6 @@ from the main (upstream) repository:
     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]
-
 ## Coding Rules
 To ensure consistency throughout the source code, keep these rules in mind as you are working:
 
-- 
cgit v1.2.3