Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update intermittent-tracker revision. #737

Merged
merged 2 commits into from Oct 25, 2017
Merged
Changes from 1 commit
Commits
File filter...
Filter file types
Jump to…
Jump to file
Failed to load files.

Always

Just for now

Prev

Add service documentation.

  • Loading branch information
jdm committed Oct 19, 2017
commit 5b32053f4c9c6491bc2078634e080694f67f52ad
@@ -0,0 +1,10 @@
# Intermittent Tracker service

This service runs a flask server that provides a Github webhook endpoint.
It receives notifications whenever the Github issue tracker is updated,
and keeps a local database of all open issues that are marked with the
`I-intermittent` label. This server also allows querying this database,
so that the `./mach filter-intermittents` command does not need to use
the Github API every time we run tests on our build machines.

See [the project source code](https://github.com/servo/intermittent-tracker/tree/master/intermittent_tracker) for more information.
ProTip! Use n and p to navigate between commits in a pull request.
You can’t perform that action at this time.