👷 (doc) [NO-ISSUE]: Sync doc with ledgerhq/developer-portal

[valpinkman]

📝 Description

Adds a new workflow to sync our documentation to the developer-portal when merging to main

❓ Context

• JIRA or GitHub link: [NO-ISSUE]

• Feature:

✅ Checklist

Pull Requests must pass CI checks and undergo code review. Set the PR as Draft if it is not yet ready for review.

• Covered by automatic tests
• Changeset is provided
• Impact of the changes:
  • list of the changes

---

🧐 Checklist for the PR Reviewers

• The code aligns with the requirements described in the linked JIRA or GitHub issue.
• The PR description clearly documents the changes made and explains any technical trade-offs or design decisions.
• There are no undocumented trade-offs, technical debt, or maintainability issues.
• The PR has been tested thoroughly, and any potential edge cases have been considered and handled.
• Any new dependencies have been justified and documented.

[vercel]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name	Status	Preview	Comments	Updated (UTC)
device-sdk-ts-sample	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Jan 16, 2025 3:18pm

1 Skipped Deployment

Name	Status	Preview	Comments	Updated (UTC)
doc-device-management-kit	⬜️ Ignored (Inspect)	Visit Preview		Jan 16, 2025 3:18pm

[github-actions]

	Messages
⚠️	No changeset file found in the PR. Please add a changeset file.

Generated by 🚫 dangerJS against a41da56