sim: replacing ChangeLog files with online git logs

[Eli Zaretskii]

> Date: Sat, 13 Mar 2021 11:26:11 -0500
> From: Mike Frysinger <vapier@gentoo.org>
> Cc: gdb@sourceware.org, andrew.burgess@embecosm.com
> 
> > So people who don't have Git will be left without the logs?  I'm not
> > sure I'm okay with that.
> 
> what value are people actually pulling from these ?  we aren't talking
> about user-focused NEWS, we're talking about developer-focused ChangeLog.

This has been beaten to death in various forums, including GNU
internal ones.  the conclusion was that some people want that, and
some developers are not always on-line and with Git repo handy.

> the hard & bikeshed part is what form does the log take.  do you just want
> the default `git log` output ?

There's a Gnulib script which will produce the form that matches the
ChangeLog format.