doc: remove suggestion of self-introduction from new contributor welcome comment #7568
Triggered via pull request
August 18, 2026 13:29
mathlib-dependent-issues[bot]
mathlib-dependent-issues[bot]
labeled
#42901
Status
Success
Total duration
15s
Artifacts
–
zulip_emoji_reconcile.yml
on: pull_request_target
reconcile
12s