WIP: Merge 'dev' into 'main' #1

Draft
ID19810919hisaDClr wants to merge 12 commits from dev into main
No description provided.
ID19810919hisaDClr added 5 commits 2024-06-29 23:25:04 +02:00
ID19810919hisaDClr added 1 commit 2024-06-29 23:25:51 +02:00
ID19810919hisaDClr added 1 commit 2024-06-30 15:28:29 +02:00
ID19810919hisaDClr added 3 commits 2024-06-30 22:40:41 +02:00
ID19810919hisaDClr added 1 commit 2024-07-02 23:18:29 +02:00
ID19810919hisaDClr added 1 commit 2024-07-02 23:37:25 +02:00
This pull request is marked as a work in progress.

Checkout

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

Merge

Merge the changes and update on Gitea.
git checkout main
git merge --no-ff dev
git checkout main
git merge --ff-only dev
git checkout dev
git rebase main
git checkout main
git merge --no-ff dev
git checkout main
git merge --squash dev
git checkout main
git merge --ff-only dev
git checkout main
git merge dev
git push origin main
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No project
No Assignees
1 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: Public/nodejs-bash-completion#1
No description provided.