Re: [gentoo-project] Gentoo Council nominee 2018/19 questions

[Mart Raudsepp <leio@gentoo.org>]

[-- Attachment #1: Type: text/plain, Size: 1749 bytes --]

Ühel kenal päeval, P, 01.07.2018 kell 21:37, kirjutas Michał Górny:
> W dniu wto, 26.06.2018 o godzinie 09∶11 +0200, użytkownik Michał
> Górny
> napisał:
> > To improve readability of the thread, I'll ask my question in reply
> > to
> > myself ;-).
> 
> Next question from me, given the recent affairs.
> 
> - How do you feel about Gentoo's use of GitHub?  Do you support
> Gentoo
> providing resources for our users on GitHub?  Or are you opposed to
> using GitHub at all?

I support being where our potential contributors are. GitHub just
happens to be a network where many are using, do their work and know
the workflow.
I think we are big enough to not have to rely on it, to cater to
everyone, including those that refuse to use it on principle, but I
don't see anything wrong in making use of it for those that want to.

Though that requires volunteers to handle it. Fortunately we appear to
have such people right now. And ways to cater to those that don't use
GH well (e.g. automatic notifications not getting seen like for me) or
refuse to do so.


Some people are suggesting things like GitLab. I think that would be
great to look into and review suitability. But as something that would
replace our existing infrastructure - bugzilla, gitolite, CI hooks,
etc.
Otherwise it would be another place where users are - e.g. the
gitlab.com hosted service, just like github.com; place where existing
users already have accounts, are used to doing it via there.
There might be some value setting it up for purely Merge Request
purposes as own instance, but without full switch, I don't see the pain
worth the gain. But if someone does the work and will manage it like GH
is now... sure.


Mart

[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 981 bytes --]