As far as I know, there are usage limits for organizations when it comes to
Github runners / actions - even for open source projects. Can you please
share the source of your information, Lars?

On Tue, Mar 16, 2021 at 11:42 AM Lars Vogel <lars.vo...@vogella.com> wrote:

> Moving to Github would allow us to use Github actions for build
> verification (using Maven), which can be easily configured to be cross
> platform and cross Java versions and are free for Open Source projects
> and run on the Github infrastructure which seems better in terms of
> scalability and availability compared to the Eclipse foundation
> infrastructure.
>
> So if we have to move to a new hosting platform, +1 for Github from me.
>
> On Tue, Mar 16, 2021 at 11:06 AM Mickael Istria <mist...@redhat.com>
> wrote:
> >
> >
> >
> > On Tue, Mar 16, 2021 at 10:54 AM Sebastian Zarnekow <
> sebastian.zarne...@gmail.com> wrote:
> >>
> >> Looking at the https://github.com/eclipse/lemminx-maven/pull/205 I
> don't see the comments *on* the previous commit that became obsolete due to
> a force push. I can still see them as outdated in the linear conversation
> though. This is also the case on Gitlab though. So the force-push habit
> (which is inherently necessary if FF-only merges are allowed) has an impact
> on the way we can associate comments with versions of a patch-set.
> >
> >
> > Indeed, it's slightly more complicated. But the data is here: the
> comments keep reference to the commit, so even after a force-push, it's
> still possible to find out which version of the commit the comment applies
> to, and to get access to the content of that former commit.
> > But the `... forced-push ...` line could probably be improved with a
> link to show a diff of the commits, and ideally this diff link would show
> data in the context of the PR, eg be capable of showing comments.
> > I'm going to open a feature request to GitHub about it and will keep you
> in touch if this improves at some point.
> > However, I agree that if we want to make things simpler via GitHub, we
> probably need to enable workflows that do not involve force-push, and
> instead rely on GitHub capability to "squash and merge" and let committers
> use it if they feel it's better than asking submitter for a force-push.
> > --
> > Mickael Istria
> > Eclipse IDE developer, for Red Hat Developers
> > _______________________________________________
> > platform-dev mailing list
> > platform-dev@eclipse.org
> > To unsubscribe from this list, visit
> https://www.eclipse.org/mailman/listinfo/platform-dev
>
>
>
> --
> Eclipse Platform project co-lead
> CEO vogella GmbH
>
> Haindaalwisch 17a, 22395 Hamburg
> Amtsgericht Hamburg: HRB 127058
> Geschäftsführer: Lars Vogel, Jennifer Nerlich de Vogel
> USt-IdNr.: DE284122352
> Fax (040) 5247 6322, Email: lars.vo...@vogella.com, Web:
> http://www.vogella.com
> _______________________________________________
> 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