Deleted Github repos are not removed from the list

[sidheshenator]

I deleted a repo from my organization. However, when I navigate to Add Target -> corporate -> Static -> click on the Team drop-down list -> click on Project, I am able to list the deleted repo. I navigated to Settings -> Github -> clicked on Fetch repo, teams, and users to update the list of repos. However, the list of repos continues to list the deleted repo.

[kmadhusudhan]

repos info can not be deleted from jackhammer once its fetched from github/gitlab