82c05d
Revert "moved user.sh to production as jenkins setup should be fixed" still not working This reverts commit b422323650c6b50a749dd112e4a34cb69754d167.