nix.dev icon indicating copy to clipboard operation
nix.dev copied to clipboard

Keep pull requests open for comments after they have been merged

Open SuperSandro2000 opened this issue 3 years ago • 3 comments

For example in #261 there was a comment which directly addressed me and now I can't reply to it anymore because the PR got merged.

SuperSandro2000 avatar Sep 09 '22 09:09 SuperSandro2000

Any ideas how to allow this? For master protected branch I only require status to pass and a pull request.

domenkozar avatar Sep 11 '22 15:09 domenkozar

The problem is that the github-action locked the PR conversation which is not really great to do.

SuperSandro2000 avatar Sep 11 '22 16:09 SuperSandro2000

I understand what's happening, but I don't know to to stop it.

domenkozar avatar Sep 11 '22 16:09 domenkozar