Discussions on pull requests - where to have them

Continuing the discussion from Easier handling of context variables:

Well, in this case the discussion here in Discourse existed prior to the pull request. As such, I think continuing it here makes sense, unless it’s about specific lines of code… which are better commented on on GitHub.

I’d suggest to handle it like this: If a discussion here is connected to a PR, link to the discussion here from the PR by adding a comment there. If a broader discussion comes up from a PR, that can be moved here, then apply the same rule in reverse.

What do you think?

A nice example for moving from discussion here to a PR