Surprisingly my AI reverted to exactly this, and I almost didn't notice until I had to review a colleague's PR and the merge button didn't work.