Make check-in.sh output in way that suggest to add only the most relevant info

Author: spastorino

ci/check-in.sh

@@ -24,15 +24,11 @@ show_pulls() {
   jq -r '.[] | { title, number, html_url, user: .user.login } | "- " + .title + " [#" + (.number | tostring) + "](" + .html_url + ")"'
 }
 
-echo "### Authors"
-jq -r '{ login: .[].user.login } | "- **@" + .login + "**"' < pulls.json \
-  | sort -u
-echo
-echo "### Changes"
+echo "### Most notable changes"
 echo
 show_pulls < pulls.json
 echo
-echo "### Changes in progress"
+echo "### Most notable WIPs"
 echo
 # If there are more than 30 PRs open at a time, you'll need to set `per_page`.
 # For now this seems unlikely.