diff --git a/server.pl b/server.pl index 508669e..7a527e7 100755 --- a/server.pl +++ b/server.pl @@ -270,7 +270,6 @@ handle_post(Request) :- JSON = _{error: "invalid_json"} ), format('Content-type: application/json~n~n'), - format(user_error, 'Received POST request with JSON data: ~w~n', [JSON]), CommitBefore = JSON.before, CommitAfter = JSON.after, Repository = JSON.repository.full_name,