Skip to content

Update DNS to new server#118

Merged
magul merged 1 commit intomainfrom
update_dns_records
Jan 15, 2026
Merged

Update DNS to new server#118
magul merged 1 commit intomainfrom
update_dns_records

Conversation

@w1stler
Copy link
Member

@w1stler w1stler commented Jan 14, 2026

PAH requested to change the DNS records to new server (migration from one workspace to another)

PAH requested to change the DNS records to new server (migration from one workspace to another)
@w1stler w1stler requested a review from magul January 14, 2026 16:27
@magul magul merged commit 24b0a20 into main Jan 15, 2026
6 checks passed
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