github_list_commits.sh: improve comments