On 14-05-2023 00:45, Globe Trotter via devel wrote:
Thanks, Sandro! How does one ping in the ticket on paguire?
The easiest way is to just leave a comment in the ticket. If you need info from a specific person you would tag that person (@fas_user). That ensures people watching the ticket queue get another notification, bringing the ticket to their attention again.
But since Kevin already explained the delay, there's no need for that now. Either Kevin or the person returning from PTO next week will surely pick it up.
-- Sandro _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue