On Thursday, 22 June 2023 at 20:48:09 UTC, Jonathan M Davis wrote:

> I've never understood why some folks have kept pushing for us to use github issues. They're nice if you're setting up a github repo and don't want to go to the trouble of setting up and hosting a bugzilla instance elsewhere, but they're not as sophisticated as bugzilla.
>
> - Jonathan M Davis

Because its not about the features, its about the people. D's bugzilla has none, github has all of them.

On Friday, June 23, 2023 2:14:29 AM MDT Robert Schadek via Digitalmars-d wrote:
> On Thursday, 22 June 2023 at 20:48:09 UTC, Jonathan M Davis wrote:
> > I've never understood why some folks have kept pushing for us to use github issues. They're nice if you're setting up a github repo and don't want to go to the trouble of setting up and hosting a bugzilla instance elsewhere, but they're not as sophisticated as bugzilla.
> >
> > - Jonathan M Davis
>
> Because its not about the features, its about the people. D's bugzilla has none, github has all of them.

I'm afraid that I don't understand your logic. When you want to report a bug for a project, you go to wherever that project handles bug reports. In that respect, whether it's bugzilla or github or wherever is irrelevant. I don't see how the fact that a lot of people use github for code has anything do with how we handle bug reports.

Walter and company will decide whatever they decide for this, and if that means going to github issues, I guess that it means going to github issues, but it seems to me that it's making things worse, because we'll be switching to an inferior tool. And I truly don't understand how any of it is about the people. Are you afraid that people are too lazy to report bugs via bugzilla or something and that using github issues will somehow overcome that?

- Jonathan M Davis

On Friday, 23 June 2023 at 08:59:56 UTC, Jonathan M Davis wrote:
>
> I'm afraid that I don't understand your logic. When you want to report a bug for a project, you go to wherever that project handles bug reports. In that respect, whether it's bugzilla or github or wherever is irrelevant. I don't see how the fact that a lot of people use github for code has anything do with how we handle bug reports.

I fear you're wrong.
If a regular (not on this forum person) goes to actually write a bug-report.
They go like.

1. google dlang
2. WAT issues are in a tool I have to log in that is not github; I can not be bothered.

>
> Walter and company will decide whatever they decide for this, and if that means going to github issues, I guess that it means going to github issues, but it seems to me that it's making things worse, because we'll be switching to an inferior tool. And I truly don't understand how any of it is about the people. Are you afraid that people are too lazy to report bugs via bugzilla or something and that using github issues will somehow overcome that?
>

I'm not afraid that people are too lazy, I'm convinced, and IMHO right, that people are too lazy report anywhere but github.
Github helps as everybody knows it, and there is no friction at all.

On 6/23/23 10:42, Vladimir Panteleev wrote:
> 
>> I think this is just stalling stuff
> 
> No. Please, let's get this right. If you are not interested in ensuring we do everything to get it right, please let me know and I'll continue from here.
> 
> As I mentioned at the meeting from 2021, I'm not against migrating, but it needs to be done well so that we have no regrets afterwards.

+1.

On 6/23/23 11:53, Robert Schadek wrote:
>>
>> Walter and company will decide whatever they decide for this, and if that means going to github issues, I guess that it means going to github issues, but it seems to me that it's making things worse, because we'll be switching to an inferior tool. And I truly don't understand how any of it is about the people. Are you afraid that people are too lazy to report bugs via bugzilla or something and that using github issues will somehow overcome that?
>>
> 
> I'm not afraid that people are too lazy, I'm convinced, and IMHO right, that people are too lazy report anywhere but github.
> Github helps as everybody knows it, and there is no friction at all.
> 

Yes, unfortunately it is true that many people won't report issues on bugzilla. Preserving the existing issues is still really important as well. Those are issues reported by _enthusiastic people who let themselves be assed to report on bugzilla_, and we owe them to treat their issues well. In particular, I think moving issues to github issues and giving all the github contributions/authorship for those issues to yourself and Mike is a terrible way to move forward, even if the issues are technically in the public domain and/or belong to DLF.

On Friday, 23 June 2023 at 12:31:39 UTC, Timon Gehr wrote:
> On 6/23/23 11:53, Robert Schadek wrote:
>>>

>
> Yes, unfortunately it is true that many people won't report issues on bugzilla. Preserving the existing issues is still really important as well. Those are issues reported by _enthusiastic people who let themselves be assed to report on bugzilla_, and we owe them to treat their issues well. In particular, I think moving issues to github issues and giving all the github contributions/authorship for those issues to yourself and Mike is a terrible way to move forward, even if the issues are technically in the public domain and/or belong to DLF.

For the record, I intend to create a special account for adding the issues to GitHub (e.g., "bugzilla_migration"). I certainly don't want them all in my name. I don't see how we can post them as the original user, though. From what I understand, it requires the id and a token.