add hrepl