gerrit or pull request ?


(yann) #1

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 !


(Dženan Zukić) #2

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.


(yann) #3

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


(Dženan Zukić) #4

Yes please. This will allow better automated testing.