Расстреливали много кого, и далеко не всегда заслуженно. Если под провокатором понимается ярлык типа "врага народа", который дает повод для преследований за инакомыслие, это незаслуженно. Если под провокатором подразумевается человек, который стреляет из толпы по полицейским, то такие действия наносят физический ущерб вплоть до смерти или с высокой вероятностью ведут к столкновению между толпой и полицией, что тоже ведет к физическому ущербу вплоть до смерти. Так что расстрел _такого_ провокатора еще можно объяснить.

А тут что? Кого он пристрелил? Просто пиздобол.