def pull_repository(repo, repository_clone_url, ctx_rev):
 commands.pull(get_configured_ui(), repo, source=repository_clone_url, rev=[ctx_rev])

def pull_repository ( repo , repository_clone_url , ctx_rev ) : commands . pull ( get_configured_ui ( ) , repo , source = repository_clone_url , rev = [ ctx_rev ] )
pull changes from a remote repository to a local one .