On May 15, Matthias Koeppe wrote:
Thanks! that's the second push -f in a day if this was a large patch that people had worked on I'd be killed :). I've learned then that the patchbot will not apply what's listed as dependencies. Perhaps this should be added to the development guide. I'm only playing until I can submit #29610 which is not ready for review but will eventually be a large patch that should be subdivided. I've learned today that it has to be in the form of a tree R.On Friday, May 15, 2020 at 3:35:05 PM UTC-7, Reimundo Heluani wrote:is my understanding correct that the right workflow is to rebase #29691 on top of #29690 and push again? Yes.
-- 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 [1]sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit [2]https://groups.google.com/d/msgid/ sage-devel/4a17ec11-650b-4e9e-9bb7-ab874b66fcef%40googlegroups.com. References: [1] mailto:sage-devel+unsubscr...@googlegroups.com [2] https://groups.google.com/d/msgid/sage-devel/4a17ec11-650b-4e9e-9bb7-ab874b66fcef%40googlegroups.com?utm_medium=email&utm_source=footer
-- 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/20200515231018.GA794604%40vertex.
signature.asc
Description: PGP signature
