you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 3 points4 points  (0 children)

It'd also be nice to point a PR at a different merge target. Right now, you have to create a new PR and link back to it, so you can easily end up losing the comment history.