mozilla/treeherder-ui — pull request #40 by camd (2014-02-11 23:08:37+00:00)
Title: Global filters

Not ready for merge

add global filters and repo watch list along with the new navbar design.