Mario Liebisch

That's what I've figured out already, but it's intentional they're not synced, even if you've added them to the repository by hand? If they're supposed to start syncing, I'd have to double-check, though.

Critical errors are logged, but no longer shown to the user

Switched back to using the version coming with the runtime long time ago, since it's just easier to maintain (and we no longer use anything else based on Java). I'd say it's safe to close this, especially considering it was (is?) more a Launch4J kind of issue and Bug 192 mentioned above has been fixed, too.

Done. [#1077]

Team projects fail to commit with enabled signing

Oh! I thought JGit wouldn't switch back to the old protocol under any circumstances! As such I only tried forcing protocol.version to 2 on the server side (which obviously doesn't prevent the exception, because the client tries to set the version anyway and is declined). So, two observations from setting protocol.version to 0 on the local repo: Client/server communication is established, fetching works flawlessly (yay!). Committing fails: I have a global signingkey set, but OmegaT won't be able to...

Nope, unfortunately not. It's a link I have access to, but I can't read the original file: (01:26:25) [~] cat /etc/ssh/sshd_config cat: /etc/ssh/sshd_config: Permission denied (01:26:32) [~] ls -l /etc/ssh/sshd_config lrwxrwxrwx 1 root root 22 Oct 26 03:10 /etc/ssh/sshd_config -> sshd_config.dediserver (01:26:52) [~] ls -l /etc/ssh/sshd_config.dediserver -rw------- 1 root root 3558 Aug 5 2019 /etc/ssh/sshd_config.dediserver Either way, I'll try to get this issue forwarded and ask about the current...

Nope, unfortunately not. It's a link I have access too, but I can't read the original file: (01:26:25) [~] cat /etc/ssh/sshd_config cat: /etc/ssh/sshd_config: Permission denied (01:26:32) [~] ls -l /etc/ssh/sshd_config lrwxrwxrwx 1 root root 22 Oct 26 03:10 /etc/ssh/sshd_config -> sshd_config.dediserver (01:26:52) [~] ls -l /etc/ssh/sshd_config.dediserver -rw------- 1 root root 3558 Aug 5 2019 /etc/ssh/sshd_config.dediserver Either way, I'll try to get this issue forwarded and ask about the current...