How to Switch GitHub-AWS Integrations from Hard-Coded Tokens to OIDC