Seems like an entirely reasonable response.

> I haven't seen a reach out from you so far but my apologies if I missed it.

Sounds like the GitHub issue OP didn't try to contact the engineer directly first.. might've been an easier way to resolve this?