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]> 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] > 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
