{"push_id":557079559,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"fe415622dabe88e818596f883be69cf7cc12158f","before":"4241fcd7b541b8d6f4e683eb1c0013b7598a8982","commits":[{"sha":"fe415622dabe88e818596f883be69cf7cc12158f","author":{"email":"58f7d743494fba07b7ba18229dc03a59fab8eff5@cs.fau.de","name":"Tobias Werth"},"message":"Fix Python scripts by setting a non-existent HOME.\n\nRemove old fix in dj_make_ubuntu_chroot since this was\nerror prone, e.g. if you add run users after creating the chroot.\n\nIf HOME is not set in environment, python{2,3} tries to lookup the home\nin the /etc/passwd for the current user id. If there is no user with\nthe current id in /etc/passwd the python versions in wheezy do bail out\nwith run error on every submission. In jessie, python only spits out a\nwarning but does not include the same set of default modules (e.g.\nexit() does not longer work without importing sys).","distinct":true,"url":"https://api.github.com/repos/DOMjudge/domjudge/commits/fe415622dabe88e818596f883be69cf7cc12158f"}]}