Add PLATFORM_BOT_PAT to eclipse.platform.releng.aggregator repository

Required for
- eclipse-platform/eclipse.platform.releng.aggregator#2991

Related to
- https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/issues/5020

Author: HannesWell

otterdog/eclipse-platform.jsonnet

@@ -212,6 +212,9 @@ orgs.newOrg('eclipse.platform', 'eclipse-platform') {
         orgs.newRepoSecret('RELENG_BOT_PAT') {
           value: "pass:bots/eclipse.platform.releng/github.com/token-hd4925",
         },
+        orgs.newRepoSecret('PLATFORM_BOT_PAT') {
+          value: "pass:bots/eclipse.platform/github.com/token-hd5020",
+        },
       ],
       branch_protection_rules: [
         orgs.newBranchProtectionRule('master') {