Skip to content

feat: add script for local deployment#962

Merged
filippomc merged 1 commit intodevelopfrom
feat-add-local-script
Jun 25, 2025
Merged

feat: add script for local deployment#962
filippomc merged 1 commit intodevelopfrom
feat-add-local-script

Conversation

@sanjayankur31
Copy link
Collaborator

I kept it in a repo for myself, but it's probably best if it lives here. Later, I'll write up a page in the docs on how to use this script to make a local deployment too.

@sanjayankur31 sanjayankur31 added the T: enhancement New feature or request label Apr 30, 2025
We'll note this in the documentation also.
@sanjayankur31 sanjayankur31 force-pushed the feat-add-local-script branch from ab19b71 to f54f2b4 Compare May 1, 2025 09:15
@sanjayankur31 sanjayankur31 changed the base branch from master to develop May 1, 2025 09:15
@filippomc filippomc merged commit c1b8bd8 into develop Jun 25, 2025
3 checks passed
@sanjayankur31 sanjayankur31 deleted the feat-add-local-script branch June 26, 2025 10:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

T: enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants