GitHub: GatherPress/gatherpress#1828 – Auto-add merged-PR contributors to credits via props-bot

New activity on https://github.com/GatherPress/gatherpress/issues/1828

https://github.com/GatherPress/gatherpress/issues/1828