Skip to content

Remove 'omitted' feature#36

Merged
spkrka merged 1 commit intomasterfrom
krka/remove_omitted
Sep 1, 2015
Merged

Remove 'omitted' feature#36
spkrka merged 1 commit intomasterfrom
krka/remove_omitted

Conversation

@spkrka
Copy link
Member

@spkrka spkrka commented Aug 31, 2015

No description provided.

@krka
Copy link

krka commented Aug 31, 2015

@pettermahlen
Copy link
Member

Remind me what this feature does before the removal?

@spkrka
Copy link
Member Author

spkrka commented Sep 1, 2015

This tried to figure which dependency artifacts existed in multiple versions or were left out for some reason. This isn't really needed since we can simply look at the things that are packaged. I thought this would help reduce false positives, but it turns out there are quite a lot of left out artifacts in practice.

spkrka added a commit that referenced this pull request Sep 1, 2015
@spkrka spkrka merged commit 2a536f8 into master Sep 1, 2015
@spkrka spkrka deleted the krka/remove_omitted branch September 1, 2015 12:49
@mattnworb
Copy link
Member

a belated 👍

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.

4 participants