changeset 33994 | 38f08eaba6b0 |
parent 33993 | 3d0f8918351b |
child 33995 | c35c0f54f420 |
33993:3d0f8918351b | 33994:38f08eaba6b0 |
---|---|
599 elif len(successorset) == 1: |
599 elif len(successorset) == 1: |
600 verb = 'rewritten' |
600 verb = 'rewritten' |
601 else: |
601 else: |
602 verb = 'split' |
602 verb = 'split' |
603 return verb |
603 return verb |
604 |
|
605 def markersusers(markers): |
|
606 """ Returns a sorted list of markers users without duplicates |
|
607 """ |
|
608 markersmeta = [dict(m[3]) for m in markers] |
|
609 users = set(meta.get('user') for meta in markersmeta if meta.get('user')) |
|
610 |
|
611 return sorted(users) |