--- title: Remove redundant header from metrics page merge_request: 21282 author: type: changed