Apparently, after a PR has been merged (effectively closing it), it no longer changes when the branch upon which it is based changes. This seems reasonable. Otherwise the PR would not be a permanent record.
I discovered this behavior after merging an earlier version of the ekr-vim branch into devel. After that, I had to create a second PR to record the later changes. Imo, this behavior is not only reasonable, but useful. It's a way of "allocating" diffs to different phases of an issue, thereby reducing the diff's sizes. All comments welcome. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/e2fb6c28-d88d-4400-b9e2-2e6116b565d9n%40googlegroups.com.
