Repair slave in MySQL GTID replication, after fatal error 1236 (slave has more GTIDs than the master)

For repairing a broken slave after fatal error 1236.

Last_IO_Error: Got fatal error 1236 from master when reading data from binary log: 'Slave has more GTIDs than the master has, using the master's SERVER_UUID. This may indicate that the end of the binary log was truncated or that the last binary log file was lost, e.g., after a power or disk failure when sync_binlog != 1

slave# stop slave for channel 'mymaster';

slave# reset slave for channel 'mymaster';

slave# set gtid_next='automatic';

slave# change master to master_auto_position=1 for channel 'mymaster';

slave# start slave for channel 'mymaster';

slave# show slave status for channel 'mymaster'\G