How are labels merged so that filters are included as well?
Bob instead are directed to
Carol, for example. Crucially, any filters for
Bob will now work with
Carol instead. Asked differently, how are the filters merged or migrated?
The three names:
gmail labels. In an
IMAP client, or through the web interface, it's easy enough to rename a directory or label. It's easy enough to copy, or move, e-mails from one label to another.
However, how are the
filter's updated so that
Bob no longer receive any e-mails at all? All mail which was being directed to
Bob should now go directly to
Again, the names:
Carol are just labels within
gmail for illustrative purposes. Through
IMAP the labels are reflected as directories, of course.