We need to make sure that `$revs` ends with a space, since files must always end with newlines. The previous code ignored the last entry in `$revs`, because read already returns non-zero exit code for the last entry, as it does not end with a space.