--- description: Mirrored Service Ping Redis metric counts.web_ide_commits - Count of commits made from the Web IDE category: API::Commits action: commit label_description: key_path of Service Ping metric counts.web_ide_commits property_description: value_description: extra_properties: identifiers: - project - user - namespace product_section: dev product_stage: create product_group: editor milestone: "15.7" introduced_by_url: https://gitlab.com/gitlab-org/gitlab/-/merge_requests/104947 distributions: - ce - ee tiers: - free - premium - ultimate