> On Nov 7, 2016, at 8:15 AM, René J.V. Bertin <rjvber...@gmail.com> wrote: > > Well, I find it very practical to have a quick way to know when a file > was last changed that doesn't involve git magic like wading through > `git blame` output or simply invoking an external command. Of course > YMMV and it's not something I use everyday, but as long as it's indeed > something that has to be put in place on dev machines and there's no > formal rule to forbid it we should be fine.
No, we should absolutely forbid "$Id$" lines. New ports should not have them. If you want to dynamically insert last-changed information, you can set up your own smudge and clean filters in your local repository. https://git-scm.com/book/en/v2/Customizing-Git-Git-Attributes#Keyword-Expansion vq
