histedit: use repo.revs() instead of repo.set() where revisions are needed
Follows up 72da480db4a5. This is just a micro optimization, but looks slightly
nicer.
# See http://EditorConfig.org for the specification
root = true
[*.py]
indent_size = 4
indent_style = space
trim_trailing_whitespace = true
[*.{c,h}]
indent_size = 8
indent_style = tab
trim_trailing_whitespace = true