On Tue, Apr 14, 2020 at 08:18:03PM +0200, Etienne Trimaille wrote:
> I just noticed a new button today on GitHub to do that ;-)
> And it's indeed new:
> https://github.blog/changelog/2020-04-08-convert-pull-request-to-draft/
Free software git hoster have been supporting that since a long time
Hi,
Le mar. 21 janv. 2020 à 20:42, Etienne Trimaille <
etienne.trimai...@gmail.com> a écrit :
> - I think I cannot make a pull request a draft once its opened (and I
>> realize only 10 minutes after opening that I needed to verify X or add some
>> tests)
>>
>
I just noticed a new button today on
No worries, just wondering ;-)
Le mar. 21 janv. 2020 à 19:58, Matthias Kuhn a écrit :
> - IIRC tests are not executed for draft PRs
>
Not anymore. Tests are running on a draft PR now. I think it was only at
the beginning.
- I think I cannot make a pull request a draft once its opened (and I
>
Yes, I have used it before but I think the WIP bot goes further.
- IIRC tests are not executed for draft PRs
- I think I cannot make a pull request a draft once its opened (and I
realize only 10 minutes after opening that I needed to verify X or add
some tests)
Matthias
On 1/21/20 4:46 PM,
Just for curiosity, do you use draft PR?
https://github.blog/2019-02-14-introducing-draft-pull-requests/
Le mar. 21 janv. 2020 à 15:39, Matthias Kuhn a écrit :
> Hi
>
> Do you know the WIP bot?
>
> It blocks merging pull requests with WIP in the title. It's very helpful
> to tag pull requests
Hi
Do you know the WIP bot?
It blocks merging pull requests with WIP in the title. It's very helpful
to tag pull requests as requiring action and add an extra obstacle
before clicking the green merge button.
I think we can only win by installing it.
Could a repository admin do that for me?
