mirror of
https://github.com/EddieTheCubeHead/Stagnum.git
synced 2026-04-26 06:05:49 +03:00
Labels
No labels
bug
bug
client
design
documentation
feature
feature
infrastructure
pull-request
ready for development
server
server
spike
technical work
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/Stagnum#435
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/EddieTheCubeHead/Stagnum/pull/434
Author: @EddieTheCubeHead
Created: 7/1/2025
Status: ✅ Merged
Merged: 7/1/2025
Merged by: @EddieTheCubeHead
Base:
master← Head:433-frontend-dockerfile-is-broken📝 Commits (1)
b69db3e#433 bump frontend dockerfile version📊 Changes
1 file changed (+1 additions, -1 deletions)
View changed files
📝
client/Dockerfile(+1 -1)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.