&gt; he closed my GitHub issue and ignored it.<p>He closed it five days ago, which seems especially interesting.<p>fwiw, speaking as the maintainer of a reasonably popular OSS project, it may be worthwhile to include actionable next steps in your issue. Including the comment you just wrote here might have made it easier for him to take action on this back in 2015.