search

mintproject / mic

Model Insertion Checker
https://mic-cli.readthedocs.io/en/latest/
5 stars 3 forks source link

When using MIC on a tracked Github repo, MIC produces an exception on load #261

Closed dgarijo closed 3 years ago

dgarijo commented 4 years ago

Describe the bug If the repository is already tracked by GitHub, MIC should detect and issue an error. At the moment, the application fails with an exception. We say in the instructions that MIC should not be executed on a tracked GitHub repository; but if the user does it, it should not fail with an exception but with an error.

To Reproduce Apply MIC in a tracked GitHub repository. When done, do mic pkg upload. The program will fail.

Expected behavior A warning/error stating that there is a conflict with GitHub repos.

issue-label-bot[bot] commented 4 years ago

Issue-Label Bot is automatically applying the label bug to this issue, with a confidence of 0.94. Please mark this comment with :thumbsup: or :thumbsdown: to give our bot feedback!

Links: app homepage, dashboard and code for this bot.

mosoriob commented 4 years ago

That is not correct. If I'm modifying an existing version of the component, I'm using the repository is already tracked by GitHub,