master
Make Commit.Hash a getter for an unexported hash field
introduce Ref interface
Keep the same commit selected when exiting filtering mode
rename sha to hash 5