Gadget is a service created here that will integrate with your Github
public repositories and check all your pull requests with different tools,
Once you've signed up with your Github user, you'll see a grid with a row per repo and a column per tool. To [de]activate a tool for a repo, just click on its On/Off button.
When a tool is activated for a repo, a webhook will be added to that particular repository on Github. Then, each time somebody submits a pull request there, Gadget will check the PR's code with that tool and report any warnings as github comments.
Gadget will only check public repositories hosted on Github. It does not check private repos because checking repositories (for instance with dialyzer) requires Gadget to clone and compile them on Inaka's servers and that's something that can get very tricky very fast with private repositories.
Gadget's code is not open-source but it's built up using many open-source libraries such as:
If you want to have your own version of Gadget to use on your private repos you can either build it on your own using the open source libraries mentioned above or feel free to contact us or meet us at our open-source hipchat room.