Re: Recording the date at which a change was pushed to Savannah

[Stefan Monnier]

>> So the only place that records something akin to the "mainline" would
>> be the reflog of the master branch in the git.sv.gnu.org repository
>> but this is transient (and inaccessible) info.
> IIUC, I did suggest making it permanent and accessible (via notes).

Indeed.

> I'm not sure I'll bother, but would anyone actively object if I were to
> spend my own time on that?

Of course not.

> Does it impact on the server performance or somesuch?

I wouldn't think so, no,


        Stefan