diff options
| author | Joshua Nelson <jyn514@gmail.com> | 2020-10-21 20:15:55 -0400 |
|---|---|---|
| committer | Joshua Nelson <joshua@yottadb.com> | 2020-10-22 09:08:04 -0400 |
| commit | 3ed54a3ff68ddbe2348ae9bfab23c695d9df9538 (patch) | |
| tree | 143273f9bfc677e6847b04ecb332253dae119787 /src/doc/rustc-dev-guide | |
| parent | 7eb38c2b8cd6be1ff2b514231d4b6d90862dace1 (diff) | |
| download | rust-3ed54a3ff68ddbe2348ae9bfab23c695d9df9538.tar.gz rust-3ed54a3ff68ddbe2348ae9bfab23c695d9df9538.zip | |
fix formatting
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rwxr-xr-x | src/doc/rustc-dev-guide/ci/check-in.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/ci/check-in.sh b/src/doc/rustc-dev-guide/ci/check-in.sh index 694c3bdf822..ef61b68715d 100755 --- a/src/doc/rustc-dev-guide/ci/check-in.sh +++ b/src/doc/rustc-dev-guide/ci/check-in.sh @@ -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 |