<!-- Some styling for better description lists --><style type='text/css'>dt { font-weight: bold;float: left;display:inline;margin-right: 1em} dd { display:block; margin-left: 2em}</style>

   mchehab: when a fail happens, it is emitting 2 e-emails, instead of one
   <br> a "failed" one: https://www.linuxtv.org/cgi-bin/mailman/private/media-submaintainers/2021-May/000394.html
   <br> and after a couple of minutes:
   <br> a "back to normal" one: https://www.linuxtv.org/cgi-bin/mailman/private/media-submaintainers/2021-May/000395.html
   <br> probably, the back to normal one is broken
   <br> fixing it is not too trivial
   <br> the problem is that the jenkins job only do a real build when the changesets are different. If they're identical, it just exits with 0 as return code
   <br> (and an environment var that tells Jenkins to not keep the resuts)
   <br> I'll likely need to do something similar to the "patchwork" bulds, where the e-mail notification is done by the script, and not by Jenkins
   <br> Or to make the script to return the past build result when something bad happens
   <br> Fixed. It should now properly report the failed results to Jenkins
   <br> so, the "back to normal" email should only be sent when the media next tree can be built with success
   <br> the script still has one issue, though... if the tree fails to build, it is keeping some badly merged stuff, causing all subsequent PRs to also fail
   <br> so:
   <br> diff --cc fail_trees
   <br> index 000000000000,000000000000..b4bc2bc3cefb
   <br> new file mode 100644
   <br> --- /dev/null
   <br> +++ b/fail_trees
   <br> @@@ -1,0 -1,0 +1,5 @@@
   <br> ++git://linuxtv.org/hverkuil/media_tree.git tags/br-v5.14a
   <br> ++git://linuxtv.org/hverkuil/media_tree.git tags/br-v5.14-out1
   <br> ++git://linuxtv.org/hverkuil/media_tree.git tags/br-v5.14b
   <br> ++git://linuxtv.org/hverkuil/media_tree.git tags/br-v5.13d
   <br> ++git://linuxtv.org/hverkuil/media_tree.git tags/br-v5.14c
   <br> diff --cc success_trees
   <br> index 000000000000,000000000000..6c4fbe627604
   <br> new file mode 100644
   <br> --- /dev/null
   <br> +++ b/success_trees
   <br> @@@ -1,0 -1,0 +1,4 @@@
   <br> ++git://linuxtv.org/media_tree.git fixes
   <br> ++git://linuxtv.org/media_stage.git master
   <br> ++git://linuxtv.org/mchehab/experimental.git next
   <br> ++git://git.kernel.org/pub/scm/linux/kernel/git/mchehab/linux-media tags/media/v5.13-1
   <br> (I suspect that just hverkuil br-v5.14a PR failed above)
   pinchartl: I've seen that indeed, was wondering what it was about :-)