GitHub Issue Reporting

Comments primarily discuss reporting bugs, opening issues, or checking existing GitHub issues for software projects, with users encouraging submissions to trackers for visibility and fixes.

➡️ Stable 0.6x Open Source
5,982
Comments
20
Years Active
5
Top Authors
#3813
Topic ID

Activity Over Time

2007
4
2008
6
2009
23
2010
76
2011
139
2012
254
2013
326
2014
348
2015
375
2016
420
2017
442
2018
359
2019
408
2020
482
2021
456
2022
486
2023
471
2024
383
2025
483
2026
45

Keywords

TrueCraft YC JetBrains gittip.com jetbrains.com SirCmpwn FWIW bugs.kde DataGrip github.com github issue issues repo bug opened github repo tracker report logo

Sample Comments

onel Apr 25, 2025 View on HN

Yeah, there's an open issue in GitHub for it. Hope they fix it soon

liyasthomas Nov 23, 2019 View on HN

Would you like to report the issue faced on GitHub so that we could track and rectify them really quick.

jfhollingworth Apr 8, 2016 View on HN

Out of interest, do you have a link to the github issue?

buffersandbeer Jul 9, 2020 View on HN

Has an issue been opened in their github for this? I looked quickly and didn't see one, but would love to track it.

nicolaslem May 29, 2023 View on HN

Have you tried reporting your issues on Github? In my experience the maintainers are responsive to these problems and really care.

Splendor Oct 11, 2013 View on HN

That's already been identified as an issue in the github repo.

raziel2p Aug 27, 2015 View on HN

Is there an issue on github I can subscribe to for this?

byoogle Sep 25, 2015 View on HN

Ty! Do you mind filing a bug against the repo, so we have a good place to follow up?

lopatin Aug 2, 2022 View on HN

I'd suggest to raise the issue in the devlist or on GitHub Issues to get more visibility.

oblvious-earth Aug 22, 2024 View on HN

Write an issue on their GitHub if you don't already see one, they're very responsive