Git push shows warning
The fix for #322 (closed) works OK. However, when pushing my solution as a make-believe student, I get the following.
Enumerating objects: 4, done.
Counting objects: 100% (4/4), done.
Writing objects: 100% (3/3), 254 bytes | 254.00 KiB/s, done.
Total 3 (delta 0), reused 0 (delta 0), pack-reused 0 (from 0)
remote: curl: option --fail-with-body: is unknown
remote: curl: try 'curl --help' or 'curl --manual' for more information
remote: curl: option --fail-with-body: is unknown
remote: curl: try 'curl --help' or 'curl --manual' for more information
remote: % Total % Received % Xferd Average Speed Time Time Time Current
remote: Dload Upload Total Spent Left Speed
remote: 100 19 100 19 0 0 452 0 --:--:-- --:--:-- --:--:-- 463
remote: "Upload completed."
To https://tms.inf.elte.hu/git-dev/17/stud01/w3242d3b8d70cce90b034985c5
9530610..7af8157 master -> master
Seems harmless enough, but maybe it is related to some important check that would reject the student's solution in some cases. The fail bit in the option name suggests so.