gerrit or pull request ?

It is unclear to me whether It is advised to push modification to gerrit or through pull request at this time of migration to github.

Thanks in advance !

1 Like

We are in the middle of transition from Gerrit to GitHub pull requests. Gerrit is fully working, so it is still preferable to submit patches there.

1 Like

Thanks for your answer.
Should I move my pull request to gerrit then ?

Yes please. This will allow better automated testing.