Recording the date at which a change was pushed to Savannah

[Stephen J. Turnbull]

Glenn Morris writes:

 > If I've understood correctly, "the date that a change was applied to the
 > Emacs repository on Savannah" is not something that is recorded.

It can't be recorded in the commit itself; that would require creating
a new commit which would have a different SHA1.

 > Is it worth implementing that, or should I give up my quaint, naive
 > desire to know "when did X happen"?

Using a note seems like a perfectly reasonable idea to me.