Skip to content

make squashed merges show up in PR list

Jakob Duerrwaechter requested to merge jakobdu/rm-codedev-generator:include_squashed_merges into master

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 --merges flag from git log
  • formats them with an additional sed command.

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.

Merge request reports