Up to now, GitHub's "squash and merge" button hides those PRs in the meeting agenda. This merge request...
- makes them show up by removing the
- formats them with an additional
Optional add-on: someone(...) told me they purposely hide PRs by hitting "squash and merge". We could retain such an option by adding something along the lines of
sed "|.*hide-in-meeting.*|d" (not tested) to the script to purposefully hide minor PRs in the meeting. Users could then add (hide-in-meeting) to the PR title for the PR to be hidden in the agenda.