We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8539c7f commit 132df62Copy full SHA for 132df62
ci/check-in.sh
@@ -7,7 +7,7 @@ if [ $# != 2 ]; then
7
echo "usage: $0 <since> <number-of-prs-merged>"
8
if [ $# = 1 ] ; then
9
echo "help: you can find the number of PRs merged at" \
10
- "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"
11
fi
12
exit 1
13
0 commit comments