Closed Cmheidelberg closed 4 years ago
Issue-Label Bot is automatically applying the label bug
to this issue, with a confidence of 0.97. Please mark this comment with :thumbsup: or :thumbsdown: to give our bot feedback!
Links: app homepage, dashboard and code for this bot.
Proposal
If the user doesn't want to reuse the repository then MIC asks the user a new name
chris@chris-ubuntu20:/home/chris/Desktop/tests/test_model2 (master)$ mic encapsulate step7
This step publishes your code, DockerImage and ModelConfiguration
Deleting the executions
Creating the git repository
Compressing your code
Creating a new commit
Creating or using the GitHub repository
The repo test_model2 exists. Do you want to use it? [Y/n]: n
**Please enter a new name:**
What do you think?
I like the proposal. Can the messages be slightly changed? See below:
This step publishes your code (GitHub), DockerImage (DockerHub) and ModelConfiguration (MINT)
Deleting executions
Creating git repository
Compressing component code
Creating a new commit
Creating or using GitHub repository
The repository test_model2 exists. Do you want to use it? [Y/n]: n
@Cmheidelberg Can you fix it?
Describe the bug If the user runs step7 when the remote repo already exists, and they choose not to publish mic quits without removing temp files.
This prevents the command from being rerun when after the user changes the name of their file.