Input history deduplication #37

Open

CookenMonster wants to merge 1 commit from github/fork/farlepet/history-deduplication into master

CookenMonster commented

2024-11-10 10:40:48 -06:00

(Migrated from gitlab.com)

If the entered input is the same as the previous item in the history, the history remains unmodified. If the item was seen previously, history is re-arranged to bring that item to the front.

CookenMonster commented

2025-10-03 21:18:59 -05:00

(Migrated from gitlab.com)

restored source branch github/fork/farlepet/history-deduplication

restored source branch `github/fork/farlepet/history-deduplication`

This pull request can be merged automatically.

This branch is out-of-date with the base branch

You are not authorized to merge this pull request.

View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin github/fork/farlepet/history-deduplication:github/fork/farlepet/history-deduplication

git switch github/fork/farlepet/history-deduplication

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 master

git merge --no-ff github/fork/farlepet/history-deduplication

git switch github/fork/farlepet/history-deduplication

git rebase master

git switch master

git merge --ff-only github/fork/farlepet/history-deduplication

git switch github/fork/farlepet/history-deduplication

git rebase master

git switch master

git merge --no-ff github/fork/farlepet/history-deduplication

git switch master

git merge --squash github/fork/farlepet/history-deduplication