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.