Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore: Update development docs for make deploy #37

Merged
merged 1 commit into from
Apr 8, 2022
Merged

chore: Update development docs for make deploy #37

merged 1 commit into from
Apr 8, 2022

Conversation

irvinlim
Copy link
Member

@irvinlim irvinlim commented Apr 8, 2022

Adds more documentation in DEVELOPMENT.md to explain make deploy.

Also updates the make deploy step to support custom IMAGE_TAG.

@irvinlim irvinlim added kind/documentation Categorizes issue or PR as related to documentation. area/dev Related to development workflow and processes labels Apr 8, 2022
@irvinlim irvinlim enabled auto-merge April 8, 2022 19:45
@irvinlim irvinlim merged commit ea750f5 into main Apr 8, 2022
@irvinlim irvinlim deleted the irvinlim/chore/update-development-doc branch April 8, 2022 19:47
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
area/dev Related to development workflow and processes kind/documentation Categorizes issue or PR as related to documentation.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@irvinlim