fix git repo url for mangen package