Add cut for safety.

This commit is contained in:
2026-04-20 15:26:56 +01:00
parent adc3fc4328
commit 39febda829

View File

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