[checkmk-commits] [Checkmk/checkmk] 56b2e9: rest-api: rename permissions.Ignore to permissions...