Improvement of Github repo name error message