Thomas Neidhart

Results 216 comments of 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...