vanity counter: update Github name search

This commit is contained in:
Michael Raskin 2016-02-24 10:37:34 +01:00
parent 3ef63227dd
commit 3845649b89

View File

@ -28,7 +28,7 @@ fetchGithubName () {
)" )"
userid="$( userid="$(
curl https://github.com/NixOS/nixpkgs/commit/"$commitid" 2>/dev/null | curl https://github.com/NixOS/nixpkgs/commit/"$commitid" 2>/dev/null |
grep authored -B10 | grep 'href="/' | grep committed -B10 | grep 'href="/' |
sed -re 's@.* href="/@@; s@".*@@' | sed -re 's@.* href="/@@; s@".*@@' |
grep -v "/commit/" grep -v "/commit/"
)"; )";