Saturday, 2022-11-19

-@gerrit:opendev.org- Zuul merged on behalf of Simon Westphahl: [zuul/zuul] 865012: Check if Github detected a merge conflict for a PR https://review.opendev.org/c/zuul/zuul/+/86501209:20

Generated by irclog2html.py 2.17.3 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!