From 0d61680a6452f5c1dae3cefaf8585310f5914865 Mon Sep 17 00:00:00 2001 From: Johannes Schindelin Date: Mon, 12 Aug 2024 17:19:31 +0200 Subject: [PATCH] git-gui: mirror from j6t/git-gui As per https://lore.kernel.org/git/0241021e-0b17-4031-ad9f-8abe8e0c0097@kdbg.org/ Git GUI is now maintained by Johannes Sixt. Signed-off-by: Johannes Schindelin --- .github/workflows/sync-git-gui.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/sync-git-gui.yml b/.github/workflows/sync-git-gui.yml index 6e09352..efd8d62 100644 --- a/.github/workflows/sync-git-gui.yml +++ b/.github/workflows/sync-git-gui.yml @@ -6,7 +6,7 @@ on: workflow_dispatch: env: - SOURCE_REPOSITORY: prati0100/git-gui + SOURCE_REPOSITORY: j6t/git-gui TARGET_REPOSITORY: gitgitgadget/git TARGET_REF_NAMESPACE: git-gui/