Hi Collin, > Should I mention the > commit being removed from the gnulib-tool.py.TODO file in the ChangeLog > and commit message? I think it might help tracking down any issues that > might come up later.
Yes, please. But for long-time storage I'm not a fan of commit ids (I've seen too many packages move from one VCS to another VCS in the past...), but rather like in https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=commitdiff;h=948345cceab85ab699910a795d6b69ea2be6e300 with the two first lines from the ChangeLog entry: Follow gnulib-tool change <date and author of that commit> <one-line summary of that commit> Thanks! Bruno
