Pull latest commits from dev on Github repo #71

Closed
mplorentz wants to merge 20 commits from andotherstuff-dev into dev
Collaborator

The dev branch here on Gitea is missing these changes from dev on the old Github repo.

The `dev` branch here on Gitea is missing these changes from `dev` on [the old Github repo](https://github.com/andotherstuff/universes/commits/dev/).
mplorentz added 20 commits 2026-02-18 16:29:20 +00:00
mplorentz requested review from hodlbod 2026-02-18 16:29:24 +00:00
Owner

My remotes were messed up, I've pushed, closing this.

My remotes were messed up, I've pushed, closing this.
hodlbod closed this pull request 2026-02-18 17:05:00 +00:00
hodlbod deleted branch andotherstuff-dev 2026-02-18 17:05:09 +00:00

Pull request closed

Sign in to join this conversation.