Três voluntários provisórios do Exército Republicano Irlandês são mortos a tiros pelo SAS em Gibraltar na Operação Flavius.
A Operação Flavius foi uma operação militar na qual três membros de uma célula provisória do Exército Republicano Irlandês (IRA) foram mortos a tiros por membros disfarçados do Serviço Aéreo Especial Britânico (SAS) em Gibraltar em 6 de março de 1988. Os três Sen Savage, Daniel McCann, e Mairad Farrell, que eram membros da Brigada Provisória de Belfast do IRA, estariam montando um ataque com carro-bomba contra militares britânicos em Gibraltar. Soldados do SAS à paisana se aproximaram deles no pátio de um posto de gasolina e abriram fogo, matando-os. Todos os três foram encontrados desarmados, e nenhuma bomba foi descoberta no carro de Savage, levando a acusações de que o governo britânico havia conspirado para matá-los. Um inquérito em Gibraltar determinou que o SAS agiu legalmente, enquanto o Tribunal Europeu de Direitos Humanos considerou que, embora não houvesse conspiração, o planejamento e o controle da operação eram tão falhos que tornavam o uso da força letal quase inevitável. As mortes foram as primeiras de uma cadeia de eventos violentos em um período de quatorze dias. Em 16 de março, o funeral dos três membros do IRA foi atacado por um lealista empunhando pistolas e granadas, deixando três pessoas mortas. Então, no funeral de um dos enlutados, o IRA atirou em dois soldados britânicos à paisana que entraram na procissão por engano.
Desde o final de 1987, as autoridades britânicas estavam cientes de que o IRA estava planejando detonar uma bomba na cerimônia de troca da guarda do lado de fora da residência do governador no Território Dependente Britânico de Gibraltar. Quando Savage, McCann e Farrell viajaram para a Espanha em preparação para o ataque, eles foram rastreados a pedido do governo britânico. No dia do tiroteio, Savage foi visto estacionando um Renault branco no estacionamento usado como área de montagem para o desfile; McCann e Farrell foram vistos cruzando a fronteira pouco depois.
Depois que um oficial de eliminação de bombas militar informou que o carro de Savage deveria ser tratado como uma suspeita de bomba, a polícia entregou o controle da operação ao SAS. Enquanto os soldados se posicionavam para interceptar o trio, Savage se separou de McCann e Farrell e começou a correr para o sul. Dois soldados perseguiram Savage enquanto dois se aproximaram de McCann e Farrell; ao fazê-lo, os dois fizeram movimentos ameaçadores, como resultado dos quais os soldados abriram fogo, atirando neles várias vezes. Quando os soldados alcançaram Savage, ele teria se virado para enfrentá-los enquanto enfiava a mão em sua jaqueta; ele também foi baleado várias vezes. Todos os três foram posteriormente encontrados desarmados, e o carro de Savage não continha explosivos; investigações resultantes de chaves encontradas em Farrell levaram as autoridades a um segundo carro, contendo uma grande quantidade de explosivos, em um estacionamento na Espanha. Quase dois meses após o tiroteio, o documentário "Death on the Rock" foi transmitido na televisão britânica. Usando reconstruções e relatos de testemunhas oculares, apresentou a possibilidade de que os três membros do IRA tivessem sido mortos ilegalmente. O documentário se mostrou extremamente controverso; vários jornais britânicos o descreveram como "julgamento pela televisão". O inquérito sobre as mortes começou em setembro de 1988. Ouviu das autoridades britânicas e de Gibraltar que a equipe do IRA havia sido rastreada até o aeroporto de Mlaga, onde foi perdida pela polícia espanhola, e que os três não ressurgiram até que Savage foi avistado estacionando seu carro em Gibraltar. Os soldados testemunharam que abriram fogo na crença de que os suspeitos estavam procurando armas ou um detonador remoto. Entre os civis que prestaram depoimentos estavam as testemunhas oculares descobertas por "Morte na Rocha", que relataram ter visto os três tiros sem aviso prévio, com as mãos para cima, ou enquanto estavam no chão. Kenneth Asquez, que disse ao documentário que tinha visto um soldado atirar em Savage repetidamente enquanto este estava no chão, retirou sua declaração no inquérito, alegando que ele havia sido pressionado a fazê-lo. Em 30 de setembro, o júri do inquérito retornou um veredicto de "assassinato legal". Insatisfeitas, as famílias levaram o caso ao Tribunal Europeu dos Direitos Humanos. Proferindo sua sentença em 1995, o tribunal considerou que a operação havia violado o artigo 2 da Convenção Européia de Direitos Humanos, uma vez que a falha das autoridades em prender os suspeitos na fronteira, combinada com as informações fornecidas aos soldados, tornou a uso de força letal quase inevitável. A decisão é citada como um caso marcante no uso da força pelo Estado.
O Exército Republicano Irlandês (IRA; em irlandês: Óglaigh na hÉireann), também conhecido como Exército Republicano Irlandês Provisório, e informalmente como Provos, foi uma organização paramilitar republicana irlandesa que procurou acabar com o domínio britânico na Irlanda do Norte, facilitar a reunificação irlandesa e trazer sobre uma república independente e socialista abrangendo toda a Irlanda. Foi o grupo paramilitar republicano mais ativo durante os Troubles. Ele se via como o exército da República da Irlanda de todas as ilhas e como o único sucessor legítimo do IRA original da Guerra da Independência da Irlanda. Foi designada uma organização terrorista no Reino Unido e uma organização ilegal na República da Irlanda, cuja autoridade rejeitou.
O IRA Provisório surgiu em dezembro de 1969, devido a uma divisão dentro da encarnação anterior do IRA e do movimento republicano irlandês mais amplo. Foi inicialmente a facção minoritária na divisão em comparação com o IRA Oficial, mas tornou-se a facção dominante em 1972. Os problemas começaram pouco antes, quando uma campanha de direitos civis em grande parte católica e não-violenta foi recebida com violência tanto por partidários do Ulster quanto pelo Royal Ulster Constabulary (RUC), culminando nos motins de agosto de 1969 e no destacamento de soldados britânicos. O IRA inicialmente se concentrou na defesa de áreas católicas, mas iniciou uma campanha ofensiva em 1970, auxiliada por armas fornecidas por simpatizantes irlandeses-americanos e pelo líder líbio Muammar Gaddafi. Ele usou táticas de guerrilha contra o exército britânico e RUC em áreas rurais e urbanas, e realizou uma campanha de bombardeio na Irlanda do Norte e Inglaterra contra alvos militares, políticos e econômicos, e alvos militares britânicos na Europa.
O IRA Provisório declarou um cessar-fogo final em julho de 1997, após o qual seu braço político Sinn Féin foi admitido em negociações de paz multipartidárias sobre o futuro da Irlanda do Norte. Isso resultou no Acordo da Sexta-feira Santa de 1998 e, em 2005, o IRA encerrou formalmente sua campanha armada e desativou suas armas sob a supervisão da Comissão Internacional Independente de Desativação. Vários grupos dissidentes foram formados como resultado de divisões dentro do IRA, incluindo o Continuity IRA e o Real IRA, ambos ainda ativos na campanha republicana irlandesa dissidente. A campanha armada do IRA, principalmente na Irlanda do Norte, mas também na Inglaterra e na Europa continental, matou mais de 1.700 pessoas, incluindo cerca de 1.000 membros das forças de segurança britânicas e 500 a 644 civis. Além disso, 275-300 membros do IRA foram mortos durante o conflito.