The tracker of this repository is used to track development requests so we can improve internal collaboration by organizing code sprints in the team
0
stars
0
forks
source link
Improving Descartes and github integration #9
Open
dvojtise opened 7 years ago
(according to @oscarlvp and @bbaudry ) the feature https://github.com/STAMP-project/pitest-descartes/issues/14 would be cool in order to show the benefits of Descarte. Roughtly, we should have a webhook (https://developer.github.com/webhooks/) that triggers Descartes on a pull request and then report it back in github UI for the given PR.