https://pantsbuild.org/ logo
#random
Title
# random
h

hundreds-father-404

02/15/2019, 10:01 PM
Github is rolling out draft pull requests! Blocks merging and won’t notify code owners if that’s configured. https://github.blog/2019-02-14-introducing-draft-pull-requests/
👍 1
a

aloof-angle-91616

02/15/2019, 10:01 PM
IT'S REALLY TIGHT!!!
❤️ 1
i'm gonna overuse the heck out of this
h

hundreds-father-404

02/15/2019, 10:02 PM
Formalize WIP
👌 1
b

bitter-piano-88933

02/15/2019, 10:12 PM
Oh I do this way too often, glad they're making it a thing ™️
h

hundreds-father-404

02/19/2019, 7:30 PM
Sad, CI isn’t triggered on draft PRs. I only submit PRs when I want to run against CI, so now I have no use for draft PRs.
h

happy-kitchen-89482

02/19/2019, 9:56 PM
Is there no way to config that?
a

aloof-angle-91616

02/19/2019, 9:57 PM
i <3 proprietary software
🧌 2
not that i would ever use anything else
h

hundreds-father-404

02/19/2019, 9:58 PM
Not sure @happy-kitchen-89482. I don’t have admin access to the GitHub settings. I can’t find anything online about “github draft pr ci”
h

happy-kitchen-89482

02/19/2019, 10:01 PM
It would need to be a travis config, looks like