From 39febda829770300a43e6f3820e954f99ff0e647 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Se=C3=A1n=20Healy?= Date: Mon, 20 Apr 2026 15:26:56 +0100 Subject: [PATCH] Add cut for safety. --- server.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/server.pl b/server.pl index 5c6560d..0903eb4 100755 --- a/server.pl +++ b/server.pl @@ -306,7 +306,7 @@ handle_post(Request) :- union_all([RemovedFileTypes, RemovedBaseNames, RemovedFullPaths], Removed), union_all([Modified, Added, Removed], Affected), union(Modified, Added, Touched), - list_set(CommitList, author_email, Authors), + list_set(CommitList, author_email, Authors), !, git_clone_command(Repository, ShortName, DefaultBranch, '/tmp', CommitAfter, CloneCommand, Destination), shell(CloneCommand), git_fetch_commit_command(Destination, CommitAfter, FetchCommand),