merger: skip pushing repo's that don't need pushing