WIP: overleaf #61

Draft
sid wants to merge 1 commit from feature/overleaf into develop
Owner
No description provided.
sid added 1 commit 2026-05-17 19:15:38 +02:00
overleaf: init
All checks were successful
Flake check / flake-check (pull_request) Successful in 18s
f64ee1322f
All checks were successful
Flake check / flake-check (pull_request) Successful in 18s
This pull request has changes conflicting with the target branch.
  • modules/nixos/default.nix
View command line instructions

Checkout

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

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 develop
git merge --no-ff feature/overleaf
git checkout feature/overleaf
git rebase develop
git checkout develop
git merge --ff-only feature/overleaf
git checkout feature/overleaf
git rebase develop
git checkout develop
git merge --no-ff feature/overleaf
git checkout develop
git merge --squash feature/overleaf
git checkout develop
git merge --ff-only feature/overleaf
git checkout develop
git merge feature/overleaf
git push origin develop
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
1 participant
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: sid/sid.ovh#61
No description provided.