Update to adapt to recent GitHub API change