use history_fetch_from_repo for fetch_from_repo
use history_fetch_from_repo for fetch_from_repo

And rename history_fetch_from_repo to do_fetch_from_repo

Signed-off-by: Silvio Fricke <f2b81419e41c7651e2106cca3df3958aa3b28c36@gmail.com>

silvio/gerrit-rust,silvio/gerrit-rust