If I remove all Jenkinsfile from a GitHub repository (all branches) then the repository is still left in the folder. The contents of the repository are empty (i.e. no branches are shown).

The same happens if I delete or transfer a repository to a another group/owner.

I expected the repository to disappear if there are no longer any Jenkinsfile or if the repository doesn't exist.