Note that GitHub doesn't mandate GitHub action nor exclude Gerrit. Wild Web Developer uses GitHub actions and ci.eclipse.org (controlled by a Jenkinsfile), and it's working all right. We could (and IMO should) just start moving code + review for some of the repos, adapt the URIs here and there and that would be sufficient towards the documented goal (ease contributions).
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
