Repository merge script, cosmetics.