<div dir="auto"><div><div class="gmail_quote"><div dir="ltr">On Sun, 23 Dec 2018, 3:03 p.m. Chris Lamb <<a href="mailto:lamby@debian.org">lamby@debian.org</a> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I'm afraid I'm a little lost in the detail here. However, you appear<br>
to have closed this bug but the last test run on Jenkins is still from<br>
November (despite multiple pushes this morning):<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">I haven't manually triggered the job. I expect any new push that temporarely happened after I closed this bug to be able to correctly trigger it, however I don't see any.</div><div dir="auto"><br></div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
What am I missing? Should I re-open this bug? :)<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto"><span style="font-family:sans-serif">If you try to push something it should just work again.</span><br></div><div dir="auto"><span style="font-family:sans-serif">Sorry for being unclear on what perhaps is the most interesting detail!</span>    `</div></div>