The idea was just to make sure that after a "make" you get some warning if this is not the latest version of Redis. An upgrade is a cost, so maybe to get a warning before deploying may be a good thing after all.
Another simpler thing can just be redis-cli --latest to output the latest version of the Redis server.