Once again, bitten by the “git pushed but didn’t knife upload” brian bug #dammitchef