scripts/getver.sh: Fix revision numbering (for Github-based repo)