#gRegorLoveI'll hold off. We should be able to get the others merged soon so can do them sequentially
#[tantek]didn't know rebasing was possible in the GUI
#ZegnatI don’t think git really has any idea of sequence? If the latter one will cause a conflict if merged first, then the earlier one will probably cause a conflict for the latter one?
#gRegorLoveNot sure, I'm not great with git merges XD. I may be thinking more of commit conflicts.
jamietanna joined the channel
#[schmarty]if there is no conflict, and edits are not to the same lines, it is likely that github will apply each PR cleanly, no matter the order.