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

Link to Zulip search for finding the most recent check-in (#1118)

This commit is contained in:
Joshua Nelson 2021-04-29 16:40:25 -04:00 committed by GitHub
parent e72b43a649
commit b12bee89a0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
ci/check-in.sh
View File

@ -5,7 +5,10 @@ set -eu
# This is not a very smart script # This is not a very smart script
if [ $# != 2 ]; then if [ $# != 2 ]; then
echo "usage: $0 <since> <number-of-prs-merged>" 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" \ 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" "https://github.com/rust-lang/rustc-dev-guide/pulls?q=is%3Apr+is%3Amerged+updated%3A%3E$1"
fi fi