RepoPick: Actually skip merged commit instead of exiting

PS2: add missing semicolon

Change-Id: Ib67f2444878bcde23acc0300782b68c791989286
Merge "RepoPick: Actually skip merged commit instead of exiting" into cm-11.0
Merge remote-tracking branch 'CyanogenMod/cm-11.0' into cm-11.0