@average-vr-56795: so yea, the answer in this case at least is that the squash merge worked from the github UI