Merge pull request #726 from MichaelMure/rng-dynamics/fix-push-pull-bug-duplication

Fix: github bridge: push then pull without duplication
This commit is contained in:
Michael Muré 2021-12-04 12:28:11 +01:00 committed by GitHub
commit 8fefcbd58e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -184,7 +184,7 @@ func (gi *githubImporter) ensureIssue(ctx context.Context, repo *cache.RepoCache
// resolve bug
b, err := repo.ResolveBugMatcher(func(excerpt *cache.BugExcerpt) bool {
return excerpt.CreateMetadata[core.MetaKeyOrigin] == target &&
return excerpt.CreateMetadata[metaKeyGithubUrl] == issue.Url.String() &&
excerpt.CreateMetadata[metaKeyGithubId] == parseId(issue.Id)
})
if err == nil {