Hi, we don't want people reporting issues in GitHub. We should follow our How To Report Bug/Feedback document: https://trac.torproject.org/projects/tor/wiki/doc/community/HowToReportBugFeedback