tree 20f23c21a46d266fb60f7640fd1b690feda61862
parent dc1d893ff0bd853b8d0ee5158b82c00ed74682e2
author Geoffrey Martin-Noble <gcmn@google.com> 1601672284 -0700
committer GitHub <noreply@github.com> 1601672284 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfd5RdCRBK7hj4Ov3rIwAAdHIIAFbTFlupBu41sMQXbIFt5LXy
 wbhrP3BC98hjoZqDMp16FjRYH0Xh5n6gSr0a0C9zE8DHFb6/355V32qyCEfGcT2j
 mge1Rufq95gHdEvCclW2sPpeZgU251VX9nx3aBjOvGTrivFBwOpGMGoSMD20rtAA
 9nni/ySpQSv+LKmap9G+8NxrPGF4XKYi0OR66kdA+h7lOt5YKRUMWmQM0QBFWCJj
 AIvX5AncjNGrVREqqmJS+a9xcS1GwSEl9LaskmEBO45vvGlNsSI1ZbBBHmVATncG
 icEGlxHY2Jx4IR0HfswtuSm4Z0CLahynYWrH1/XqHHUYYmEKQhkzLeXaegDlU1A=
 =zTVo
 -----END PGP SIGNATURE-----
 

Workaround bug in gh cli (#3338)

Add workaround for https://github.com/cli/cli/issues/1820 to our
integration scripting. There's something broken about detection for the
appropriate HEAD ref for the PR, so we set it explicitly.