Oliver Kopp

Source: > I live in Bangkok. Say hi if you’re around!

@lockywolf Note that hints making `latexmk` being aware of makeglossaries are given at https://tex.stackexchange.com/a/44316/9075. However, it does not place the call correctly - the page numbers are off by two...

Another alternative is [GitRewrite](https://github.com/TimHeinrich/GitRewrite#gitrewrite).

(Just as a reference; I am in discussion with Thomas in email) https://github.com/koppor/adr-manager could be one possible UI. It is going to be submitted to the [IEEE Score Contest](https://conf.researchr.org/home/icse-2021/score-2021). Thus,...

In pik 0.3.0.pre, pik requires HOME to be set. "pik install jruby" works without "HOME", but "pik use jruby" has **no effekt** if HOME is not set.

I'd like to have sort by status and stort by title as at the file listing. However, I do not know (yet) how to do it.  When sorting for...

Refs https://github.com/jeaye/nixos-in-place/issues/30.

Maybe the tool can just use a list of hard-coded "main" branch names and check each of it. In case a name is hit in that list, that branch name...

I don't understand the semantics of `mailInterval`. A) Is the same email sent each 10 seconds to all receipient? B) Is the same email mails once to one receipient and...

I think, this is fixed by https://github.com/mhelvens/latex-pkgloader/pull/25. Think, one can just merge the PR and just release a new version.