A while ago I accidentally pushed

Question

A while ago I accidentally pushed <https github com pantsbuild pants tree cherry pick 15928 to 2 13 x|this branch> but GitHub think it s protected so I can t delete