use the right git stuff for current commit info
Merge branch 'devel' into debian