David Mudrák

Results 67 comments of David Mudrák

Do you mean that github's url .../compare/SHA1...SHA1 will stop working once the hashes are old enough or so?

But... git-gc should not affect these SHA1 based diffs because the SHA1 still points to the valid commit even after it is merged into moodle.git branch.

That's correct. And I could not think of an other solution, given that [MDL-71916](https://tracker.moodle.org/browse/MDL-71916) was the primary security issue we need to have fixed. We cannot let cURL to blindly...

I just commented at https://tracker.moodle.org/browse/MDL-73588 - I like your variant, too.

Sorry guys. That was me who removed the AMOS repository from github. I will discuss with @tmuras the best way on how to solve this dependency. Thanks for providing the...

I had a similar issue with my custom skin. This is what I did (navbarHeight and navbarBottomLine are defined in my custom SCSS): ``` .ve-init-mw-desktopArticleTarget-toolbar { margin-top: -($navbarHeight + $navbarBottomLine);...

+1 The plugin still raises "Line 17: File-level phpdocs block is not found" for files that follow the new class-only-block style.

Thanks Eloy. Maybe that would be enough for now to release a new version and start using it in Github actions? It is sad to see code implemented according to...

In fact, I would expect users can't unpin a message if the group setting does not allow them to pin messages.

How should I describe the difference to my grand-ma?