brainstorming about the revision number at gitbub

[Gerd Pokorra]

Could be added a file with the revision number? May be a git post hook
script could increment the revision number or add entries to that file.

-- Gerd