@ClickHouseCI@hostux.social If you have a script analyzing the diff to main that is used by other people they might not have such an alias. Clever though.