They ran into friction during implementation and escalated it to GitHub.
Clear signal of hands-on engagement. Tag for support outreach or flag as a potential power user if repeated.