Skip to content

Use conflict resolution policy to remove duplicates of projects#19

Merged
mayuki merged 2 commits intomasterfrom
feature/ProjectDeduplication
May 28, 2021
Merged

Use conflict resolution policy to remove duplicates of projects#19
mayuki merged 2 commits intomasterfrom
feature/ProjectDeduplication

Conversation

@mayuki
Copy link
Member

@mayuki mayuki commented May 28, 2021

No description provided.

@mayuki mayuki merged commit e5dd109 into master May 28, 2021
@mayuki mayuki deleted the feature/ProjectDeduplication branch May 28, 2021 06:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant