tree 3e1eb3c3b382646f18a4e8ac68f88cc11fe01ffd
parent 2610f689804974f93cfbc2c63ca0d9a98be5ca66
author Aled Sage <aled.sage@gmail.com> 1538041247 +0100
committer Aled Sage <aled.sage@gmail.com> 1538041247 +0100

jenkins: fix user.name in docker

User 910 is unknown in the docker container, so 
`${id -un 910}` does not return a name. We don’t 
care what user.name it has, as long as there is one.