GitLab

(next-file): Optionally offer to revert a file's buffer,
if it has an existing buffer but the file has changed.