I have a program that is distributed as a single file, and doesn't go through an installation procedure.
Is there a way to have git embed an RCS-like $Id$ string? Checkin timestamp, etc, would also be fine, just something to easily id files in the field. Github-specific solutions are acceptable.