> > > 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 >
It was buried a bit in there though. I am wanting to avoid "see the fine print" type statements. -- 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/cbca0c73-c011-450d-b1d8-c111df6a7b87n%40googlegroups.com.
