<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jan 23, 2020 at 11:37 AM David Greene <<a href="mailto:greened@obbligato.org">greened@obbligato.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hubert Tong <<a href="mailto:hubert.reinterpretcast@gmail.com" target="_blank">hubert.reinterpretcast@gmail.com</a>> writes:<br>
<br>
>> I read this as the refresh being an entirely new GitHub PR.  Is that<br>
>> right?  Normally I would expect the same PR to be used but the rebase<br>
>> would cause a force-push of the branch which would update the PR with<br>
>> the new commits but might lose comments.  It's that later part I'm<br>
>> unsure about.  It would seem odd to me to open an entirely new PR due to<br>
>> a rebase/update of commits to respond to review.<br>
>><br>
> Use of force push damages the ability to retrieve context on older<br>
> comments. I am not sure of the reason for the case I observed, but the<br>
> context vanished within a week in one instance.<br>
<br>
Does "vanish" mean it was completely gone, or just hidden in some way?<br></blockquote><div>Completely gone.</div><div> <br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
                      -David<br>
</blockquote></div></div>