Sorry, should have just said "could Peter force Mr. Paderborn Jenkins
to re-start the Stylesheets-dev job. It worked for Ms. Victoria
Jenkins.
> Could the Jenkins maintainers force the Stylesheets-dev job to
> re-build?
> My check-in from this morning's meeting built as well as can be
> expected on my local system. It fails in Jenkins, flagging my
> commit message itself (which contains the word "error"). I'm hoping
> that if Mr. Jenkins just does the work again, it will work. If not,
> I'll try committing some tiny tweak with a different commit
> message.
