githumerge: skip if already merged