Wget Github stars of a repository

github-stars.sh

#!/usr/bin/bash
#
# Get the stars count of a Github repository
#
# Usage:
#
#     github-stars https://github.com/user/repo
#

function github_stars {
    local repo=${1}
    wget -O- "${repo}" 2>&1 \
        | grep -E '<span[^<]+<\/span>' \
        | grep -E 'id="repo-stars-counter-star"' \
        | grep -E -o 'title="[0-9,.]+"' \
        | grep -E -o '[0-9,.]+' \
        | tr -d ',.';
}

Examples:

$ github_stars "https://github.com/torvalds/linux"
172000

$ github_stars "https://github.com/ulid/spec"
8900

$ github_stars "https://github.com/f4b6a3/uuid-creator"
360