- From: Takeshi Yoshino <notifications@github.com>
- Date: Fri, 10 Mar 2017 08:07:40 -0800
- To: whatwg/streams <streams@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 10 March 2017 16:09:28 UTC
That said, it's still good that admins are also supervised by the protected branch feature. If we can run the travis-ci manually on console, it's not a burden. Quickly skimmed the documents, e.g. https://help.github.com/articles/defining-the-mergeability-of-pull-requests/, but it seems we cannot. So, for the meantime, admins could create PRs when needed to benefit from the check. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/whatwg/streams/pull/695#issuecomment-285709352
Received on Friday, 10 March 2017 16:09:28 UTC