Not yet fixed, because I found out I do not have push access to the repo. I've disabled the product until that's done, and will then revisit this issue.
