WIP: Merge summer 2026 changes #27

Draft
fknoch wants to merge 2 commits from master into production
Owner
No description provided.
This pull request is marked as a work in progress.
This branch is out-of-date with the base branch
View command line instructions

Checkout

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

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 switch production
git merge --no-ff master
git switch master
git rebase production
git switch production
git merge --ff-only master
git switch master
git rebase production
git switch production
git merge --no-ff master
git switch production
git merge --squash master
git switch production
git merge --ff-only master
git switch production
git merge master
git push origin production
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
latex/latex-workshop!27
No description provided.