Hi Jorge,
On 5/8/20 10:12 AM, Jorge Gustavo Rocha wrote:
Hi Matthias,
I don't see the restart button. Probably because I'm not a maintainer.
I was able to trigger another build with:
git commit --amend --no-edit
git push -f
Yes, that works as well.
Or simply closing/reopening the pull request also works (in 90% of the
cases, i.e. only when a commit has been done on master in between).
Matthias
This doesn't change anything, so it looks like a good workaround for
contributors with maintainer privileges.
Regards,
Jorge
_______________________________________________
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
