> it had actually submitted the issue directly to GitHub

Did you fix that? Apologize to the people running the repo and all?