[wp-meta] [Making WordPress.org] #1702: Add GitHub bot for PR/issue mentions
Making WordPress.org
noreply at wordpress.org
Fri Apr 10 09:40:16 UTC 2020
#1702: Add GitHub bot for PR/issue mentions
-------------------------+-------------------------
Reporter: ocean90 | Owner: (none)
Type: enhancement | Status: closed
Priority: normal | Milestone:
Component: Slack & IRC | Resolution: maybelater
Keywords: |
-------------------------+-------------------------
Comment (by SergeyBiryukov):
Follow-up: #4903
--
Ticket URL: <https://meta.trac.wordpress.org/ticket/1702#comment:9>
Making WordPress.org <https://meta.trac.wordpress.org/>
Making WordPress.org
More information about the wp-meta
mailing list