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),