Instead of pushing to a branch in the main repo which is for committers only, there is also the "Fork Workflow". This would be the workflow for contributors.
I've added this to the wiki: https://wiki.eclipse.org/Platform-releng/Migration_To_GitHub
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
