In addition to the features requested in
MDEV-4989, it would also be helpful to filter GTIDs based on specific gtid_domain_id values when using mysqlbinlog. To do this, mysqlbinlog could have the --do-domain-ids, --ignore-domain-ids, and --ignore-server-ids options, which would be similar to the DO_DOMAIN_IDS, IGNORE_DOMAIN_IDS, and IGNORE_SERVER_IDS options available for CHANGE MASTER TO.
From the commit message:
"For completeness, this patch additionally adds the option --do-server-ids as an alias for
--server-id, which now accepts a list of server ids instead of a