From 765b9fc750c183f342b3a6c074073d227dfe2eaf Mon Sep 17 00:00:00 2001
From: Robin Stumm <robin.stumm@iohk.io>
Date: Thu, 19 Jan 2023 15:49:09 +0100
Subject: [PATCH] remove unnecessary comma

---
 nix/cloud/actions.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nix/cloud/actions.nix b/nix/cloud/actions.nix
index dfc3770..47ff23d 100644
--- a/nix/cloud/actions.nix
+++ b/nix/cloud/actions.nix
@@ -34,7 +34,7 @@
   in {
     io = ''
       let push = {
-        #lib.io.github_push,
+        #lib.io.github_push
         #input: "${factNames.push}"
         #repo: "input-output-hk/cicero"
       }