Amendment to #505: changed the comparison for sorting repositories on project property pages.
Was already merged in Bitbucket before import, marked as merged by the import user
Was already merged in Bitbucket before import, marked as merged by the import user