chore: Remove RepoCop 😢

RepoCop as a service uses the GitHub Lens API as its source of data.

In #202, we deleted the GitHub Lens API.
This means in its current form, RepoCop is failing to run.

Remove the service for a later day.

.github/workflows/ci.yml

@@ -36,15 +36,6 @@ jobs:
           node-version-file: '.nvmrc'
           cache: 'npm'
 
-      # Configuring caching is also recommended.
-      # See https://github.com/actions/setup-java
-      - name: Setup Java 11
-        uses: actions/setup-java@v3
-        with:
-          java-version: '11'
-          distribution: 'corretto'
-          cache: 'sbt'
-
       - uses: guardian/actions-read-private-repos@v0.1.1
         with:
           private-ssh-keys: ${{ secrets.PRIVATE_INFRASTRUCTURE_CONFIG_DEPLOY_KEY }}
@@ -62,8 +53,6 @@ jobs:
           contentDirectories: |
             cdk.out:
               - packages/cdk/cdk.out
-            repocop:
-              - packages/repocop/target/scala-3.2.1/repocop.jar
 
     env:
       NODE_OPTIONS: '--max_old_space_size=4096'

packages/cdk/bin/cdk.ts

@@ -1,16 +1,9 @@
 import 'source-map-support/register';
 import { GuRootExperimental } from '@guardian/cdk/lib/experimental/constructs/root';
 import { CloudQuery } from '../lib/cloudquery';
-import { Repocop } from '../lib/repocop';
 
 const app = new GuRootExperimental();
 
-new Repocop(app, 'Repocop-INFRA', {
-	stack: 'deploy',
-	stage: 'INFRA',
-	env: { region: 'eu-west-1' },
-});
-
 new CloudQuery(app, 'CloudQuery-INFRA', {
 	stack: 'deploy',
 	stage: 'INFRA',