History prefix matching is nondeterministic with overlapping keys #7
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
costmodel.py:115iterateshistory.items()and returns the firstname.startswith(key)hit — with overlapping keys (gcc,gcc-13) the winner depends on dict insertion order.Implementation:
Fixed and merged to main (commit
837b885).