Reproduce:
- Open a terminal such as https://paws.wmflabs.org/paws/user/GZWDer_%28flood%29/terminals/1
- run python /srv/paws/pwb/scripts/version.py
Result:
Pywikibot: [https] r-pywikibot-core.git (71e36c1, g10980, 2019/04/30, 16:42:46, OUTDATED)
Restarting the server does not fix it.