Computerstuff

For some reason my git commits failed when I re-enabled gpg signing. This is how I finally fixed that problem.

I usually fetch the upstream repository and merge it into my local repository, then upload all the merges into the github repository. That works sometimes, but it also fails sometimes with me having an extra commit with merges leaving the git history different from the upstream…