From c47d94bda04da75f291037b3d64721b0f87e5d64 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Se=C3=A1n=20Healy?= Date: Mon, 20 Apr 2026 16:59:45 +0100 Subject: [PATCH] Fix double commit error. --- server.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/server.pl b/server.pl index 87b2a03..ce64c5a 100755 --- a/server.pl +++ b/server.pl @@ -291,7 +291,7 @@ handle_post(Request) :- union_all(ModifiedFileLists, ModifiedFiles), format(user_error, 'Unified modified files: ~w~n', [ModifiedFiles]), list_set(CommitList, message, MessageLists), - union_all(MessageLists, Messages), + list_to_set(MessageLists, Messages), format(user_error, 'Unified commit messages: ~w~n', [Messages]), list_set(CommitList, added, AddedFileLists), union_all(AddedFileLists, AddedFiles),