Do I know anyone at GitHub? I have an enterprise tech support ticket that keeps being autoclosed without a response or explanation, and would truly appreciate having a human glance at it.