`highlight-non-default-base-branch` Should exclude branch master #3910

Some repositories use something other than master as their default branch (e.g. dev) and have treated master as a "production" branch, so PRs pointing to master don't necessarily match the current situation ("this PR was merged into the default branch at the time").

Given that we do not have a history of default branches to properly address this issue, perhaps we can hide master if the default branch is main, so we cover this use-case exactly.

This also applies to clean-conversation-headers

Also keep in mind this should only happen on deleted branches. Since if the branch was changed the PR branch (if it was open) would also change

Rather than deleted branches I’d do that for “closed PRs”

Rather than deleted branches I’d do that for “closed PRs”

Merged too? or only closed?

Merged and closed

I tried looking for a simple CSS selector to include only open PR's and could not find one. Can you give a look?