File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -4,15 +4,15 @@ FROM=v6.0.0
44pr_title ()
55{
66 local N=$1
7- curl https://github.com/universal-ctags/ctags/pull/" $N " | grep ' ^ <title>' | \
7+ curl --no-progress-meter https://github.com/universal-ctags/ctags/pull/" $N " | grep ' ^ <title>' | \
88 sed -e ' s!^[[:space:]]*<title>\(.\+Pull Request #[0-9]*\).*</title>$!* \1!' | \
99 sed -e " s/'/'/g" -e ' s/&/\&/g' -e ' s/"/"/g' -e ' s/>/>/g' -e ' s/</</g'
1010}
1111
1212issue_title ()
1313{
1414 local N=$1
15- curl https://github.com/universal-ctags/ctags/issues/" $N " | grep ' ^ <title>' | \
15+ curl --no-progress-meter https://github.com/universal-ctags/ctags/issues/" $N " | grep ' ^ <title>' | \
1616 sed -e ' s!^[[:space:]]*<title>\(.\+Issue #[0-9]*\).*</title>$!* \1!' | \
1717 sed -e " s/'/'/g" -e ' s/&/\&/g' -e ' s/"/"/g' -e ' s/>/>/g' -e ' s/</</g'
1818}
You can’t perform that action at this time.
0 commit comments