Skip to content

rename web02 to web01#2133

Merged
zowoq merged 1 commit intomasterfrom
web01
Feb 14, 2026
Merged

rename web02 to web01#2133
zowoq merged 1 commit intomasterfrom
web01

Conversation

@zowoq
Copy link
Contributor

@zowoq zowoq commented Feb 14, 2026

I should have done this in #2076.

@zowoq zowoq added this pull request to the merge queue Feb 14, 2026
Merged via the queue into master with commit 1ead8bb Feb 14, 2026
3 checks passed
@zowoq zowoq deleted the web01 branch February 14, 2026 04:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant