sourcegraph/src-cli

Ascertain why non-Sourcegraph contributions don't complete the PR workflow

LawnGnome opened this issue · 2 comments

LawnGnome commented 
    @abitrolly Sorry! I think this is something funky with the workflow being initiated by a fork owned by a non-Sourcegrapher. I'll file an issue for us to figure that out later, but for now I'll override the check and merge this. Thanks again.

Originally posted by @LawnGnome in #851 (comment)

chrispine commented

P1 or P2 if this isn't a lot of effort? Or Sustaining.

  • 👍2
chrispine commented

If this is more that half-day of work, move it to Sustaining