[checkmk-commits] [Checkmk/checkmk] ad6c4a: user_profile: cleanup typing in push-profiles rela...