Don't forget the discussion on the same topic GitHub and GitLab of December
last year:
https://www.eclipse.org/lists/platform-dev/msg02616.html

Op wo 10 mrt. 2021 om 16:22 schreef Alex Blewitt <alex.blew...@gmail.com>:

> I think the move to GitHub would be a way of getting more users interested
> in contributing; however, I think for that to work we need to be able to do
> builds on GitHub as well (or report test failures there).
>
> I’m not sure how or whether GitHub actions could be used for the builds,
> but the open jdk team has some great workflows for interacting with
> comments.
>
> A bigger problem is that it is not trivial to set up or run builds/tests.
> I think we would need to address that first.
>
> Alex
>
> Sent from my iPhone 📱
>
> On 10 Mar 2021, at 14:56, Wim Jongman <wim.jong...@gmail.com> wrote:
>
> 
> Maybe we can skip adding features completely for one or two releases and
> have all hands focusing entirely on the releng process.
>
> On Wed, Mar 10, 2021 at 3:42 PM Christoph Läubrich <lae...@laeubi-soft.de>
> wrote:
>
>> +1 for move to github, we should take the opportunity to merge several
>> repos, this cluttering of code is just a mess.
>>
>>
>> Am 10.03.21 um 15:37 schrieb Wim Jongman:
>> > Hi,
>> >
>> > Can we discuss the move to GitHub again?
>> >
>> > Cons:
>> > * No Gerrit -> best review system ever
>> >
>> > Pros:
>> > * All the developers are there.
>> > * No Gerrit -> easy entry for new devs
>> >
>> > Cheers,
>> >
>> > Wim
>> _______________________________________________
>> platform-dev mailing list
>> platform-dev@eclipse.org
>> To unsubscribe from this list, visit
>> https://www.eclipse.org/mailman/listinfo/platform-dev
>>
> _______________________________________________
> platform-dev mailing list
> platform-dev@eclipse.org
> To unsubscribe from this list, visit
> https://www.eclipse.org/mailman/listinfo/platform-dev
>
> _______________________________________________
> platform-dev mailing list
> platform-dev@eclipse.org
> To unsubscribe from this list, visit
> https://www.eclipse.org/mailman/listinfo/platform-dev
>
_______________________________________________
platform-dev mailing list
platform-dev@eclipse.org
To unsubscribe from this list, visit 
https://www.eclipse.org/mailman/listinfo/platform-dev

Reply via email to