From acd1390adb946624dce530cd4f5d96b65ce6464d Mon Sep 17 00:00:00 2001
From: Santiago Pastorino <spastorino@gmail.com>
Date: Thu, 4 Feb 2021 10:35:34 -0300
Subject: [PATCH] Make check-in.sh output in way that suggest to add only the
 most relevant info

---
 ci/check-in.sh | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/ci/check-in.sh b/ci/check-in.sh
index ef61b687..323b75d6 100755
--- a/ci/check-in.sh
+++ b/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.