Relevant, actionable notifications for CI server events (Google Chrome extension)