windows fix #1

Open
dominikri wants to merge 5 commits from windows into main
Owner
No description provided.
dominikri added 1 commit 2025-10-29 20:35:07 +01:00
dominikri force-pushed windows from 62fa3dd4cc to 1736c6e3ab 2025-10-29 20:37:09 +01:00 Compare
dominikri force-pushed windows from 1736c6e3ab to e2855e9161 2025-10-29 20:37:42 +01:00 Compare
dominikri added 1 commit 2025-10-29 20:49:45 +01:00
maximilianm added 3 commits 2025-10-31 11:51:59 +01:00
This pull request has changes conflicting with the target branch.
  • .gitignore
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin windows:windows
git checkout windows

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git checkout main
git merge --no-ff windows
git checkout windows
git rebase main
git checkout main
git merge --ff-only windows
git checkout windows
git rebase main
git checkout main
git merge --no-ff windows
git checkout main
git merge --squash windows
git checkout main
git merge --ff-only windows
git checkout main
git merge windows
git push origin main
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: meta/bmbf#1
No description provided.