Fix missing GithubRepo fields in old DESCRIPTION files + bump