Awk

Filter specific lines via regex,
extract specific field from filtered lines,
summarize the extracted field values
and print the sum

awk 'match($0, /Some value: (\d+)$/, ary) {sum += ary[1]} END {print sum}' lines.txt

Get current git branch fast:

alias br='git rev-parse --abbrev-ref HEAD'

alias br='awk -F/ "{print \$NF}" .git/HEAD'