On Sat, Apr 7, 2018 at 8:15 AM, Fabio Niephaus <notifications@github.com>
wrote:

> Maybe we should move all of them to scripts/ci/ or a new top-level dir ci/?
>

+1. Lovely idea. Succinct and indicative.

_,,,^..^,,,_
best, Eliot


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.