I changed my repository name after evaluating it for the first time with HOPE. After changing the name of my repository, I checked it again by entering my old Github repository address in HOPE. The name which was shown in the result wasn't the correct name of my repository. I think it happened because HOPE distinguish the name of a repository by taking out the name of repository from the URL which has been entered by the user.
It can be solved by fetching repository name along with its data from the github API.
I changed my repository name after evaluating it for the first time with HOPE. After changing the name of my repository, I checked it again by entering my old Github repository address in HOPE. The name which was shown in the result wasn't the correct name of my repository. I think it happened because HOPE distinguish the name of a repository by taking out the name of repository from the URL which has been entered by the user.
It can be solved by fetching repository name along with its data from the github API.