The command line help for `-push` mentions SDK_LIBRARIAN_GITHUB_TOKEN. It should be LIBRARIAN_GITHUB_TOKEN