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, Etienne Trimaille wrote:
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 <[email protected]
<mailto:[email protected]>> 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 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?
Thank you very much
Matthias
https://github.com/marketplace/wip/plan/MDIyOk1hcmtldHBsYWNlTGlzdGluZ1BsYW4xMjE0#pricing-and-setup
_______________________________________________
QGIS-Developer mailing list
[email protected] <mailto:[email protected]>
List info: https://lists.osgeo.org/mailman/listinfo/qgis-developer
Unsubscribe: https://lists.osgeo.org/mailman/listinfo/qgis-developer
_______________________________________________
QGIS-Developer mailing list
[email protected]
List info: https://lists.osgeo.org/mailman/listinfo/qgis-developer
Unsubscribe: https://lists.osgeo.org/mailman/listinfo/qgis-developer
