mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fix formatting

This commit is contained in:
Joshua Nelson 2020-10-21 20:15:55 -04:00 committed by Joshua Nelson
parent 760c7edc03
commit 123c2a51aa
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ci/check-in.sh
View File

@ -7,7 +7,7 @@ if [ $# != 2 ]; then
echo "usage: $0 <since> <number-of-prs-merged>"
if [ $# = 1 ] ; then
echo "help: you can find the number of PRs merged at" \
"https://github.com/rust-lang/rustc-dev-guide/pulls?q=is%3Apr+is%3Aclosed+updated%3A%3E$1"
"https://github.com/rust-lang/rustc-dev-guide/pulls?q=is%3Apr+is%3Amerged+updated%3A%3E$1"
fi
exit 1
fi