diff options
| author | Joshua Nelson <jyn514@gmail.com> | 2021-04-29 16:40:25 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-29 17:40:25 -0300 |
| commit | 2822483dd5f3445b82dd40e8e7c395ed4d8e53ec (patch) | |
| tree | ee29ca09cd59b23b697e12020cd2f7d27daaff99 | |
| parent | a8c17aeeca0d1bba31fefbe2e6f1899e22bc797f (diff) | |
| download | rust-2822483dd5f3445b82dd40e8e7c395ed4d8e53ec.tar.gz rust-2822483dd5f3445b82dd40e8e7c395ed4d8e53ec.zip | |
Link to Zulip search for finding the most recent check-in (#1118)
| -rwxr-xr-x | src/doc/rustc-dev-guide/ci/check-in.sh | 5 |
1 files changed, 4 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 323b75d67b7..4477789c764 100755 --- a/src/doc/rustc-dev-guide/ci/check-in.sh +++ b/src/doc/rustc-dev-guide/ci/check-in.sh @@ -5,7 +5,10 @@ set -eu # This is not a very smart script if [ $# != 2 ]; then echo "usage: $0 <since> <number-of-prs-merged>" - if [ $# = 1 ] ; then + if [ $# = 0 ]; then + echo "help: you can find the last check-in at" \ + "https://rust-lang.zulipchat.com/#narrow/stream/238009-t-compiler.2Fmeetings/search/wg-rustc-dev-guide" + elif [ $# = 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%3Amerged+updated%3A%3E$1" fi |