Mark some archived repos as retired.

We still need to set these for now, until we fix #4259.

data/repos.yml

@@ -431,7 +431,7 @@
   type: Data science
 
 - repo_name: govuk-app-deployment
-  team: "#govuk-platform-engineering"
+  retired: true
   type: Utilities
   description: Capistrano deployment scripts for applications running on GOV.UK.
   sentry_url: false
@@ -646,7 +646,7 @@
   type: Utilities
 
 - repo_name: govuk-jenkinslib
-  team: "#govuk-platform-engineering"
+  retired: true
   type: Utilities
   description: Groovy library for common GOV.UK Jenkins CI tasks
   sentry_url: false
@@ -719,6 +719,7 @@
     This held infra-as-code for the old GOV.UK provider, which is no longer needed.
 
 - repo_name: govuk-puppet
+  retired: true
   team: "#govuk-platform-engineering"
   type: Utilities
   sentry_url: false