Stefan Haller 85523402d6 Allow pasting commits more than once ... After pasting commits once, we hide the cherry-picking status (as if it had been reset), and no longer paint the copied commits with blue hashes; however, we still allow pasting them again. This can be useful e.g. to backport a bugfix to multiple major version release branches.		2024-10-13 16:55:54 +02:00
..
cherrypicking	Allow pasting commits more than once	2024-10-13 16:55:54 +02:00
diffing	introduce Ref interface	2022-04-02 17:04:42 +11:00
filtering	Keep the same commit selected when exiting filtering mode	2024-03-28 12:23:46 +01:00
marked_base_commit	rename sha to hash 5	2024-04-12 08:33:47 +02:00