Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Observable of merged cased might have duplicate tags #205
Observables resulting from case merge might have duplicate tags. The issue is that the merge process doesn't enforce tag uniqueness. This leads to issues on tags display and edition.
Update case merge API to make the observable tags unique, and update the frontend to take into account eventual duplicate case in observables