On Monday, September 12, 2022 at 8:39:50 PM UTC-7 Travis Scrimshaw wrote: > What happens when Bob works on a ticket, but then stops (say, it doesn't > find a reviewer in time). Now Alice wants to make changes on top of that > branch. How does Alice do that? I am particularly thinking about when this > is *not* meant to be a PR review commit (say, it is working with a more > substantial change or just cherry-picking some of the commits). When she is > done, does she do a new PR? After doing quite a bit of digging, I finally > found the answer: > > > https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally >
Yes, this is one of the links in our document https://github.com/sagemath/sage/wiki/migration-from-trac-to-Git**b -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/8e240687-d3c5-45a1-b5ff-7de8c540e8f4n%40googlegroups.com.
