Hi, have disabled again the CIA bot because it's reporting old commits when people merge. Please only activate it once uninteresting commits are filtered out. Regards, Tomeu