dart-lang/chromedeveditor — pull request #3176 by devoncarew (2014-08-18 22:31:03+00:00)
Title: add linting for release branch names

Fixes https://github.com/dart-lang/chromedeveditor/issues/3096. This adds a linter to ensure that the three different release channels are built from separate branches. Also re-enables the polymer linter, disabled in the distant past.

@dinhviethoa