mathlib3

ef7403fe - chore(.github/workflows): don't rely on linkifier in maintainer merge messages (#19046)

chore(.github/workflows): don't rely on linkifier in maintainer merge messages (#19046) Not tested, and I'm just guessing that the relevant properties exist as I can't find the relevant API docs... Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>