Bug Reporting to the Mint Team? HOW TO?

Questions about the project and the distribution - obviously no support questions here please
Post Reply
pgmer6809
Level 3
Level 3
Posts: 167
Joined: Sun Mar 04, 2012 9:06 pm

Bug Reporting to the Mint Team? HOW TO?

Post by pgmer6809 » Tue Oct 23, 2018 7:55 pm

The Mint Troubleshooting guide
https://linuxmint-troubleshooting-guide ... where.html
says that to report MInt bugs as opposed to Ubuntu bugs one should go to:
https://github.com/linuxmint/linuxmint

There if you want to report a bug, you can create a GITHUB account and login.
The next steps are not explained but this is what I did:

use the new file button to create a new file to describe your bug.

Add some tags to the new file

Create a pull request.

github seems to be optimized for uploading patches and the like, not for bug reporting.

Did I do it right? Is this what the MINT team want?
pgmer6809

User avatar
all41
Level 13
Level 13
Posts: 4977
Joined: Tue Dec 31, 2013 9:12 am
Location: Computer, Car, Cage

Re: Bug Reporting to the Mint Team? HOW TO?

Post by all41 » Tue Oct 23, 2018 9:29 pm

Your bug report gains clout when verified by others. Air it out here in the forum--others are anxious to duplicate and confirm.
Proud to be a supporter and monthly contributor to Mint.

User avatar
smurphos
Level 8
Level 8
Posts: 2238
Joined: Fri Sep 05, 2014 12:18 am
Location: Britisher...

Re: Bug Reporting to the Mint Team? HOW TO?

Post by smurphos » Wed Oct 24, 2018 2:00 am

In Github language you raise an 'Issue' having checked that you are in the right repository and searched to make sure it's not already there. But as all41 mentions always best to get support on the forum first. There might be a simple (or not so simple) fix, or you might get confirmation from others that it is reproducible which as all41 states will give your report more weight, and make it easier for the dev team to reproduce and thus fix. You may also be advised to report it elsewhere.

Beware there isn't really much point raising issues for minor bugs in Mint versions older than the current (19) unless they can be reproduced in 19. Major bugs (security related or show-stopping crashers) in older supported versions of Mint should be reported.

Image

User avatar
sdibaja
Level 5
Level 5
Posts: 673
Joined: Sun May 08, 2011 12:57 pm
Location: Baja California, Mexico

Re: Bug Reporting to the Mint Team? HOW TO?

Post by sdibaja » Wed Oct 24, 2018 11:04 am

If you see your bug report closed without comment ... comment of that closed thread and ask Why.
some bugs never get fixed, even significant (to you) ones, without comment.
Peter
Mate desktop https://mate-desktop.org/
Debian non-free (including firmware) Live images
https://cdimage.debian.org/images/unoff ... e+nonfree/

pgmer6809
Level 3
Level 3
Posts: 167
Joined: Sun Mar 04, 2012 9:06 pm

Re: Bug Reporting to the Mint Team? HOW TO?

Post by pgmer6809 » Wed Oct 24, 2018 2:05 pm

Well, I did raise it in the forum, and it was commented on (and confirmed) by at least two other people, and we did come up with a fix.
All of that however does not fix the original Mint Disrtro, which is the objective of filing the bug report.

The OP in this thread was about how to contact the Mint team with a bug report; That is the process I do not understand.
This thread is not about the actual bug pre se.
Why would a bug report be considered a GitHub patch? I don't remember Bugzilla working that way.
pgmer6809

gm10
Level 13
Level 13
Posts: 4599
Joined: Thu Jun 21, 2018 5:11 pm

Re: Bug Reporting to the Mint Team? HOW TO?

Post by gm10 » Wed Oct 24, 2018 2:24 pm

pgmer6809 wrote:
Tue Oct 23, 2018 7:55 pm
Did I do it right? Is this what the MINT team want?
No, you didn't, pull requests are for submitting code changes. Got to your pull request and close it: https://github.com/linuxmint/linuxmint/pull/77

Then go here and submit an issue instead: https://github.com/linuxmint/linuxmint/issues/new

pgmer6809
Level 3
Level 3
Posts: 167
Joined: Sun Mar 04, 2012 9:06 pm

Re: Bug Reporting to the Mint Team? HOW TO? SOLVED

Post by pgmer6809 » Fri Oct 26, 2018 11:51 pm

OK. Thanks, Will bookmark that and remember for the future.
pgmer6809

gm10
Level 13
Level 13
Posts: 4599
Joined: Thu Jun 21, 2018 5:11 pm

Re: Bug Reporting to the Mint Team? HOW TO? SOLVED

Post by gm10 » Sat Oct 27, 2018 12:02 am

pgmer6809 wrote:
Fri Oct 26, 2018 11:51 pm
OK. Thanks, Will bookmark that and remember for the future.
pgmer6809
No problem. And as you probably saw, Clem accepted your bug report even in the way you submitted it, so for this one it's all good. ;)

User avatar
smurphos
Level 8
Level 8
Posts: 2238
Joined: Fri Sep 05, 2014 12:18 am
Location: Britisher...

Re: Bug Reporting to the Mint Team? HOW TO? SOLVED

Post by smurphos » Sat Oct 27, 2018 12:03 am

pgmer6809 wrote:
Fri Oct 26, 2018 11:51 pm
OK. Thanks, Will bookmark that and remember for the future.
pgmer6809
Have you seen xenopeeks reponse in your original problem thread - viewtopic.php?f=47&t=279291&p=1537671#p1543953

Post Reply

Return to “Non-technical Questions”