On Thu, Sep 11, 2025 at 03:36:24PM +0300, Laurent Pinchart wrote:
> On Thu, Sep 11, 2025 at 02:35:38PM +0200, Johannes Berg wrote:

> > If they end up in both trees with different commit IDs it'll get flagged
> > (and you'll get an email about it), but presumably you'll drop them from
> > your trees pretty much as soon as that happens, so it should be fine
> > afaict.

> If it happens as an accident, sure, but I don't think it's a very nice
> mode of operation as a standard process.

Yeah, those emails currently involve a manual step in sending so either
that gets automated (possibly by flagging the tree as "this is supposed
to happen", dunno might be too much work?) or the person doing the
sending might get fed up.  I'll try to take a look at the scripting
during Stephen's upcoming holiday but no guarantees.