<@UB2J9BQA0>: yea, i think so =/
# generalw
witty-crayon-22786
08/01/2018, 12:11 AM@hundreds-father-404: yea, i think so =/
👍 1
witty-crayon-22786
08/01/2018, 12:14 AMi may merge simpler things if i see that their only failure in ci was https://github.com/pantsbuild/pants/issues/6282. but yea, will ping when it's in.
h
hundreds-father-404
08/01/2018, 12:46 AMOkay, thanks. I’m hoping to merge https://github.com/pantsbuild/pants/pull/6279 before tomorrow morning, but I think we should probably do a full CI run on it because it makes so many changes
w
witty-crayon-22786
08/01/2018, 12:46 AMjust merged.
h
hundreds-father-404
08/01/2018, 12:47 AMDid you want to restart anything before I submit? Don’t want to hog CI
w
witty-crayon-22786
08/01/2018, 12:49 AMi don't have anything.
👍 1
witty-crayon-22786
08/01/2018, 12:49 AM(that i'm planning to re-run now.)
3 Views