Mirek Kratochvil

Results 94 comments of Mirek Kratochvil

OK perfect, thanks for the answers! I guess all is clear now, so I'll keep this open here for tracking. Please ping me here whenever there's any action/info needed from...

Great, I'll have a look asap (not really possible right now, but hopefully in a week or so). Re the small things: - for writing suggestions, I can probably translate...

Hello, just reporting that I've got the same issue, thanks for the hint with removing the username (works for me)!

Anyway, looking at the issue: the `username` was actually autofilling correctly for me to the web form. Might be the case that the autofill rules are not getting triggered correctly...

Hey all, just to add a comment here-- I found that the grammar rules can be converted to lexers quite easily, and the parsing becomes really efficient especially if your...

Hi all, just a note about the use of `git lfs migrate` vs `git filter-repo` -- I found that `git lfs migrate export` for some reason rewrites the whole history,...

> if anyone wants to PR it. (I'd PR but I didn't have much time lately, so decided to go issue first in case anyone manages to get to this...

Hi, thanks for opening this. I think I'll need that feature too. :] Some extra reasons why bundling the javascripts together with the doc would be marvelous: - Serving documentation...

+1. This might be the very same problem I'm seeing with long issue lists n GitLab. Firefox even starts to complain whether it should stop the script cacheobjs.js (iirc the...