Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [platform-dev] Has the time come?

@Dirk + @Lars

As noted before, its all git (gerrit/gihub/...) and gerrit also don't work without special git configs for fetch/push


To replicate similar behavior you should be able to do something like this (untested as I simply sync forks from time to time with an automatic script like described here [1]):


1) fork the repro + checkout the "master" (not your fork!)
2) add your fork as a new origin (you can call it 'gerrit' just for convenience ;-)
3) create a new branch from master and apply your changes
4) push the branch to 'gerrit' origin
5) Click the link "create PR'
6) repeat 4-5 as necessary (NO NEED TO FORCE PUSH!)
7) when your changes are merged, simply pull (even after months) the master and repeat from 3, if you like click the "delete branch link"


[1] https://docs.github.com/en/github/collaborating-with-issues-and-pull-requests/syncing-a-fork


Am 18.03.21 um 14:12 schrieb Lars Vogel:
Hi Dirk,

  For GitHub projects I always need to fork, update my fork, create the PR, force push on every review comment.

I also find the Github process ackwards for contributions to other
repos, not sure why Github does not allow a simple way of
synchronization of forks.
But as a committer you have a simpler process. You could also create
PR from the repo directly, e.g. push to a new branch in the repo and
create a PR within the same directory. This reduces the work for
committers but still leaves the problem that contributors have to go
through the steps you described. Maybe there is a simpler way, as this
process seems quite popular but I don't know it.

On Thu, Mar 18, 2021 at 1:03 PM Dirk Fauth via platform-dev
<platform-dev@xxxxxxxxxxx> wrote:



Mickael Istria <mistria@xxxxxxxxxx> schrieb am Do., 18. März 2021, 12:00:


I have the impression that the majority of committers who also happen to use GitHub for other (Eclipse or not) projects do agree that GitHub is an enhancement for the project community at large over Gerrit.


I disagree! Once Gerrit is setup for the project in my ide I simply contribute. And I can even simply contribute months later after a simple pull. For GitHub projects I always need to fork, update my fork, create the PR, force push on every review comment. For me it is much more work to contribute on a GitHub project everytime. Gerrit maybe takes more time at the beginning, but much less on the way.

Just my two cents.

Greez,
Dirk

_______________________________________________
platform-dev mailing list
platform-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev





Back to the top