repopick: skip a cherry pick if its already been merged

* override this behavior with the -f argument

Change-Id: I280b4945344e7483a192d1c9769c42b8fd2a2aef
Merge remote-tracking branch 'upstream/cm-10.2' into cm-10.2