Thomas Neidhart
Thomas Neidhart
Hi @siddharthbaleja7 thanks for the interest in this ticket. The solution to explicitly set the content encoding for uploading new files to the storage provider sounds good. To fix existing...
I think we are good for now, the number of comments has been reduced a lot already.
If you use a TextIO input instead of a Console, the indentingprinter should not split long lines. That is useful e.g. when printing the output to a file where splitting...
good to merge or you still wanna do some changes?
could be related to #1378 . Needs to be further analysed.
Renaming / archiving of a repo is a special case that needs extra effort. In most other cases this is not needed imho. If the operation does not succeed it...