sync: enlazar en develop el commit de la promoción #752 (develop..main vacío)

[beyondnetPeru]

Back-merge main → develop sin contenido: los cinco bumps de dependabot (#743–#747) ya entraron por #749; lo único que develop no tiene de main es el commit de merge de la promoción #752 (c5547114). Se mergea para que git log develop..main vuelva a estar vacío y la próxima promoción salga de una base común única (hoy hay dos merge-bases).

git diff develop main no añade nada del lado de main: 0 ficheros.

🤖 Generated with Claude Code

[github-advanced-security]

You are seeing this message because GitHub Code Scanning has recently been set up for this repository, or this pull request contains the workflow file for the Code Scanning tool.

What Enabling Code Scanning Means:

• The 'Security' tab will display more code scanning analysis results (e.g., for the default branch).
• Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results.
• You will be able to see the analysis results for the pull request's branch on this overview once the scans have completed and the checks have passed.

For more information about GitHub Code Scanning, check out the documentation.

[chatgpt-codex-connector]

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.

[github-actions]

📊 Bilingual Coverage Impact

PR Changes

• Paired EN/ES files modified: 0
• New EN files needing ES translation: 0

Repository Coverage

Metric	Value
Total EN files	527
Total ES files	497
Paired files	0
Coverage	0%

✅ Good: All EN changes have ES counterparts.

---

Generated by GitHub Actions