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