Ask for the final v3 GitHub API version

There are no real difference in the kind of API calls we make, so no
other changes are needed.