j
k
j a
j l
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
Attachments:
Back to the thread
Back to the list