gerrit or pull request ?

asertyuio · October 10, 2018, 11:17am

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 !

dzenanz · October 10, 2018, 1:23pm

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.

asertyuio · October 10, 2018, 1:26pm

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

dzenanz · October 10, 2018, 1:32pm

Yes please. This will allow better automated testing.