diff options
author | 2018-12-18 14:24:58 -0800 | |
---|---|---|
committer | 2018-12-18 14:24:58 -0800 | |
commit | 886a932a1a09a567bd790ea949d9ccc9df86cdba (patch) | |
tree | 5c7da4d51ad3baa364ca97c5fcc2421bcf90dba6 /tools/http2_interop/doc.go | |
parent | 3347158533460f15bc1621a2ed0c6d298a82e339 (diff) |
Use KOKORO_GITHUB_PULL_REQUEST_NUMBER instead of ghprbPullId
Diffstat (limited to 'tools/http2_interop/doc.go')
0 files changed, 0 insertions, 0 deletions