mirror of
https://github.com/curl/curl.git
synced 2024-11-21 01:16:58 +08:00
contributors: Show GitHub username if real name unknown
Prior to this change if a GitHub contributor's real name was unknown they would be omitted from the list. Bug: https://github.com/curl/curl/issues/824
This commit is contained in:
parent
79fde56ae3
commit
1577bfa35b
@ -50,7 +50,7 @@ cut -d: -f2- | \
|
||||
cut '-d<' -f1 | \
|
||||
tr , '\012' | \
|
||||
sed 's/ and /\n/' | \
|
||||
sed -e 's/^ //' -e 's/ $//g'
|
||||
sed -e 's/^ //' -e 's/ $//g' -e 's/@users.noreply.github.com$/ on github/'
|
||||
|
||||
grep "^ [^ \(]" RELEASE-NOTES| \
|
||||
sed 's/, */\n/g'| \
|
||||
|
Loading…
Reference in New Issue
Block a user