Hi Denis, Thanks this sounds much better than the previous solution.
Was the older bot deactivated? The one that creates tickets by commit with the need-docs tag? This means devs should no longer add the need-docs tag in individual commits? Thanks, Alexandre Neto A segunda, 6/01/2020, 12:57, Denis Rouzaud <[email protected]> escreveu: > Dear Devs, > > This is a report for the QGIS grant proposal to create a documentation bot. > This bot is now alive and automatically create an issue in the > documentation repo for merged PR. > > ** How to use it ** > > 1) Create a PR on qgis/QGIS > 2) tag it with "Needs Documentation" > 3) optionally set the milestone to it > 4) merge it > > => an issue is automatically created in the qgis/QGIS-Documentation > repository > => you get a message telling you should take care of it > > Example: > dummy PR: https://github.com/qgis/QGIS/pull/33627 > created issue: https://github.com/qgis/QGIS-Documentation/issues/4744 > > I have left some notes next to the action, explaining how it works > > https://github.com/qgis/QGIS/blob/master/.github/workflows/pr_to_doc_issue.md > > Thanks to the community and QGIS.org for sponsoring this feature. > > Best wishes, > Denis > > > _______________________________________________ > 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
