It is possible to cherry-pick from another Git repository

2018-08-01