Workspace Ports #1843

Activity

1. maneeshv

   added

   submissionPlugin submissionPlugin submission

   on Nov 3, 2026
2. github-actions commented on Nov 3, 2026

   

   github-actionsBot

   on Nov 3, 2026 – with GitHub Actions

   Contributor

   More actions

   @maneeshv, your submission is ready for review: #1844
3. maneeshv commented on Nov 3, 2026

   

   maneeshv

   on Nov 3, 2026

   Author

   More actions

   Public thumbnail URL: https://raw.githubusercontent.com/maneeshv/paseo-workspace-ports/refs/heads/main/assets/screenshot.png
4. paseo-bot

   added a commit that references this issue on Nov 3, 2026

   Review Workspace Ports (#1844)

   ...

   478d71e
5. paseo-bot

   closed this as completedin #1844on Nov 3, 2026
6. paseo-bot commented on Nov 3, 2026

   

   paseo-botBot

   on Nov 3, 2026 – with paseo-bot

   Contributor

   More actions

   @maneeshv, Workspace Ports is approved and merged in #1844. I completed the pinned listing and retained your supplied screenshot; no action is needed from you. Publication is still pending. The PR review includes optional advice for your next release.
7. maneeshv commented on Nov 3, 2026

   

   maneeshv

   on Nov 3, 2026

   Author

   More actions

   @paseo-bot any update on the publication?