Update changelog for v12.7.2 #12383

	name: Codespaces

	on:
	pull_request_target:
	types:
	- edited
	- opened
	- reopened

	jobs:
	codespaces-update-badge:
	runs-on: ubuntu-latest
	permissions:
	pull-requests: write
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	PR_NUMBER: ${{ github.event.pull_request.number }}

	# This use of an ENV variable is necessary to avoid an injection attack, see:
	# https://docs.github.com/en/actions/security-guides/security-hardening-for-github-actions
	BODY: ${{ github.event.pull_request.body }}

	steps:
	- name: Replace the text in the Codespaces badge with the PR number
	run: \|
	#!/bin/bash

	# Bash replace syntax
	NEW_BODY="${BODY/PR?quickstart=1/$PR_NUMBER?quickstart=1}"

	# If the body has changed as a result of the replace, use the GitHub API to update the PR
	if [ "$NEW_BODY" != "$BODY" ]; then
	gh api /repos/MetaMask/metamask-extension/pulls/${{github.event.pull_request.number}} -f body="$NEW_BODY"
	fi

Provide feedback