GIT

git co main
git pull # make 100% sure we're up to date with GitHub's "main"
git co -b notifications-fix-for-prod
git cherry-pick [commit ID on GitHub, from the "notifications" branch you've merged]
git push -u origin notifications-fix-for-prod