Following fix of #5 (closed), we see the metadata-push repo job still fails...
Job #40986283 failed for fbed6a1c: