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
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