- From: Philip Jägenstedt <web-platform-tests-notifications@w3.org>
- Date: Tue, 28 Mar 2017 10:50:08 GMT
- To: public-web-platform-tests-notifications@w3.org
> Since that's somewhat surprising behavior do you think after X attempts the exporter should comment on the PR that it needs to be merged manually? I'd say that if the PR is modified by anyone/anything other than the export process, then the exporter could assume that somebody else is going to merge it. Maybe should comment to that effect as well. View on GitHub: https://github.com/w3c/web-platform-tests/pull/5184#issuecomment-289732951
Received on Tuesday, 28 March 2017 10:50:20 UTC