- From: Nigel Megitt <nigel.megitt@bbc.co.uk>
- Date: Thu, 15 Feb 2018 18:54:06 +0000
- To: Cyril Concolato <cconcolato@netflix.com>
- CC: "tmichel@w3.org" <tmichel@w3.org>, "public-tt@w3.org" <public-tt@w3.org>
Cyril, Do you want to prepare a separate branch with all the change commits you want to merge in it, and open that up as a separate pull request that I’ll approve later (in a couple of hours)? I believe that when all the commits in a pull request are merged GitHub knows that the pull request has been merged. That way we can collapse the number of travis builds down to one. It’s a pain but will at least let us move ahead. Or keep waiting. Nigel > On 15 Feb 2018, at 18:25, Cyril Concolato <cconcolato@netflix.com> wrote: > > All, > > Travis CI seems to very slow today. A request to update a branch made almost 2 hours ago is still pending. Any idea how to fix this? > > Cyril ----------------------------- http://www.bbc.co.uk This e-mail (and any attachments) is confidential and may contain personal views which are not the views of the BBC unless specifically stated. If you have received it in error, please delete it from your system. Do not use, copy or disclose the information in any way nor act in reliance on it and notify the sender immediately. Please note that the BBC monitors e-mails sent or received. Further communication will signify your consent to this. -----------------------------
Received on Thursday, 15 February 2018 18:54:31 UTC