This is the mail archive of the
mailing list for the Cygwin project.
Re: mintty project
- From: Frank Fesevur <ffes at users dot sourceforge dot net>
- To: "cygwin at cygwin dot com" <cygwin at cygwin dot com>
- Date: Mon, 1 Jun 2015 16:16:05 +0200
- Subject: Re: mintty project
- Authentication-results: sourceware.org; auth=none
- References: <556B79E7 dot 8070700 at towo dot net> <20150601083638 dot GH4308 at calimero dot vinschen dot de>
2015-06-01 10:36 GMT+02:00 Corinna Vinschen:
> On May 31 23:15, Thomas Wolff wrote:
>> As a contributor to mintty, some sent me a notice discussing the move to
>> github (http://www.reddit.com/r/cygwin/comments/37vgwi/what_happened_to_minttys_maintainer_andy_kopp/)
>> and now there is already a github fork of mintty
I see that "nowox" only imported the repo from Google Code very
recently, most likely by simply pressing the "Export to GitHub" button
on Google Code. And didn't make much "real changes" to his repo so
>> I'd like to discuss what you (cygwin maintainers and others) think of this
>> move, whether it's good for mintty to be hosted on github. Personally I feel
>> that a platform like sourceforge provides a more professional project
>> environment which would provide more confidence in stable project
>> What do you think?
I agree with Tony. Although I am still using the SF alias as one of my
email addresses I think at this moment GitHub has the most active
community. If you want to have a greater change on others contributing
I would really go for GitHub. Seen it happen so many times already,
move a project to GH and the PRs start coming.
> It's not so much the hosting service providing the upstream repository
> which concerns me, it's the lack of development, the lack of a responsive
> maintainer, and the lack of a new, stable mintty package. You're in for
> one of the newly created pink plush hippos if you're going to take over
> mintty maintainership ;)
> Having said that, github is ok.
Would it be useful for cygwin to have its own place on GitHub? This
could be the place to host the mintty sources and maybe other things
There is a user named "cygwin" on github, but it appear very inactive.
GitHub has a policy for that:
So if interested, maybe Corinna or Yaakov (being our project leaders)
could ask GitHub to hand that account to them. And after that turn it
into an organization where projects like this can be hosted. This way
the project doesn't depend on one person to have full access when
needed to these kind of repos.
Just an idea.
Problem reports: http://cygwin.com/problems.html
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple