> On that note, I assume the easiest is to let Willy alter the commit message > to update (or remove) the commit reference when merging? > > Asking just in case you were waiting for me to send an amended patch for it.
Yeah I think so, and even if it's not amended, it's not dramatic: the commit ID simply won't resolve, but we still have its name :) Aurelien
