Skip to content

Update dev domain#14

Merged
nikegp merged 1 commit intomainfrom
update-domain
Feb 16, 2024
Merged

Update dev domain#14
nikegp merged 1 commit intomainfrom
update-domain

Conversation

@nikegp
Copy link
Contributor

@nikegp nikegp commented Feb 16, 2024

Changed the dev domain from 127.0.0.1:8000 to localhost because this is what we actually use

@nikegp nikegp requested review from Pixel-Jack and haroal February 16, 2024 08:58
@nikegp nikegp self-assigned this Feb 16, 2024
Copy link
Contributor

@Pixel-Jack Pixel-Jack left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good catch! Indeed locally, it allows to connect with --server dev

@nikegp nikegp merged commit 454b624 into main Feb 16, 2024
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.

3 participants