Skip to content

host path mount for development profile support - #49

Merged
marcopiraccini merged 6 commits into
mainfrom
host-path-mount
Oct 3, 2025
Merged

marcopiraccini merged 6 commits into
mainfrom
host-path-mount

Conversation

@marcopiraccini

@marcopiraccini marcopiraccini commented Oct 1, 2025 •

Copy link
Copy Markdown
Contributor

Will be used by: platformatic/desk#37
Also added other fixes (mostly missing quotes)

Signed-off-by: marcopiraccini <marco.piraccini@gmail.com>
Signed-off-by: marcopiraccini <marco.piraccini@gmail.com>
Signed-off-by: marcopiraccini <marco.piraccini@gmail.com>
Signed-off-by: marcopiraccini <marco.piraccini@gmail.com>
Signed-off-by: marcopiraccini <marco.piraccini@gmail.com>
@marcopiraccini
marcopiraccini merged commit e5dd86e into main Oct 3, 2025
2 checks passed
@marcopiraccini
marcopiraccini deleted the host-path-mount branch October 3, 2025 04:02

This branch was previously deployed

1 inactive deployment
production — ea855066 Deployed Oct 2, 2025 by marcopiraccini via Initialize #108
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants