I’d start by replying “Please get that fixed for him and create a ticket and escalate if you can’t fix it”. When that didn’t work, I’d probably just hit him with the thumbs up react, or literally nothing. A coworker not doing their job even after guiding them through the process shouldn’t be your problem.