Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Repo is corrupted with duplicate mono entries #1665

Closed
lutzroeder opened this issue Jun 7, 2020 · 1 comment · Fixed by #1647
Closed

Repo is corrupted with duplicate mono entries #1665

lutzroeder opened this issue Jun 7, 2020 · 1 comment · Fixed by #1647
Labels
Issue-Feature Complex enough to require an in depth planning process and actual budgeted, scheduled work.
Milestone

Comments

@lutzroeder
Copy link
Member

lutzroeder commented Jun 7, 2020

~/: git clone https://github.com/microsoft/winget-pkgs.git
Cloning into 'winget-pkgs'...
remote: Enumerating objects: 86, done.
remote: Counting objects: 100% (86/86), done.
remote: Compressing objects: 100% (82/82), done.
remote: Total 5311 (delta 48), reused 8 (delta 3), pack-reused 5225
Receiving objects: 100% (5311/5311), 1.18 MiB | 6.69 MiB/s, done.
Resolving deltas: 100% (2096/2096), done.
warning: the following paths have collided (e.g. case-sensitive paths
on a case-insensitive filesystem) and only one from the same
colliding group is in the working tree:

  'manifests/Mono/Mono/6.8.0.123.yaml'
  'manifests/mono/mono/6.8.0.123.yaml'

#1663 #1647 #1235 #1116

@lutzroeder lutzroeder added the Issue-Feature Complex enough to require an in depth planning process and actual budgeted, scheduled work. label Jun 7, 2020
@ghost ghost added the Needs: Triage label Jun 7, 2020
@latere-a-latere
Copy link
Contributor

Ran across this issue on saturday, already made a PR: #1647

@ghost ghost closed this as completed in #1647 Jun 11, 2020
lutzroeder added a commit to lutzroeder/netron that referenced this issue Jun 11, 2020
@denelon denelon added this to the 1.7 Packages milestone Nov 1, 2023
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Issue-Feature Complex enough to require an in depth planning process and actual budgeted, scheduled work.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants