Skip to content

Rename Full to Production#131

Merged
uhooi merged 7 commits intomainfrom
feature/rename_full_to_production
Feb 4, 2023
Merged

Rename Full to Production#131
uhooi merged 7 commits intomainfrom
feature/rename_full_to_production

Conversation

@uhooi
Copy link
Owner

@uhooi uhooi commented Feb 4, 2023

No description provided.

@uhooi uhooi self-assigned this Feb 4, 2023
@uhooi uhooi marked this pull request as ready for review February 4, 2023 15:48
@uhooi uhooi merged commit 1adbb02 into main Feb 4, 2023
@uhooi uhooi deleted the feature/rename_full_to_production branch February 4, 2023 15:48
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.

1 participant