User-agent:
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0
Hello all. There was a upgrade last night to jenkins that didn't go so
well. We have a permissions issue that I'm working to solve now. Until
then, no jenkins runs will be happening on your merges. I don't
anticipate this will take long to fix, so we should have runs going
again at somepoint today. I'll send another mail when it's fixed. Sorry
for the downtime!