From 5cc2b71d0575f32ea2bf23f249c700dca3bd4931 Mon Sep 17 00:00:00 2001
From: Greg Pfeil <greg@technomadic.org>
Date: Tue, 12 Mar 2024 13:52:49 -0600
Subject: [PATCH] Disable FlakeHub publishing
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

[FlakeHub doesn’t allow
IFD](https://github.com/DeterminateSystems/flakehub-push/issues/69), so we have
to disable this for Haskell projects, which currently require IFD.
---
 .config/project/default.nix            |  4 +++-
 .gitattributes                         |  1 -
 .github/workflows/flakehub-publish.yml | 27 --------------------------
 3 files changed, 3 insertions(+), 29 deletions(-)
 delete mode 100644 .github/workflows/flakehub-publish.yml

diff --git a/.config/project/default.nix b/.config/project/default.nix
index ac33eb7..c7a8ccb 100644
--- a/.config/project/default.nix
+++ b/.config/project/default.nix
@@ -135,7 +135,9 @@
       ]));
 
   ## publishing
-  services.flakehub.enable = true;
+  # NB: Can’t use IFD on FlakeHub (see DeterminateSystems/flakehub-push#69), so
+  #     this is disabled until we have a way to build Haskell without IFD.
+  services.flakehub.enable = false;
   services.github.enable = true;
   services.github.settings.repository.topics = ["recursion-schemes"];
 }
diff --git a/.gitattributes b/.gitattributes
index e243b04..ca6c833 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -12,6 +12,5 @@
 /.hlint.yaml linguist-generated
 /.vale.ini linguist-generated
 /.github/workflows/build.yml linguist-generated
-/.github/workflows/flakehub-publish.yml linguist-generated
 /garnix.yaml linguist-generated
 /.github/workflows/hackage-publish.yml linguist-generated
diff --git a/.github/workflows/flakehub-publish.yml b/.github/workflows/flakehub-publish.yml
deleted file mode 100644
index 53d337c..0000000
--- a/.github/workflows/flakehub-publish.yml
+++ /dev/null
@@ -1,27 +0,0 @@
-name: "Publish tags to FlakeHub"
-on:
-  push:
-    tags:
-      - "v?[0-9]+.[0-9]+.[0-9]+*"
-  workflow_dispatch:
-    inputs:
-      tag:
-        description: "The existing tag to publish to FlakeHub"
-        type: "string"
-        required: true
-jobs:
-  flakehub-publish:
-    runs-on: "ubuntu-latest"
-    permissions:
-      id-token: "write"
-      contents: "read"
-    steps:
-      - uses: "actions/checkout@v4"
-        with:
-          ref: "${{ (inputs.tag != null) && format('refs/tags/{0}', inputs.tag) || '' }}"
-      - uses: "DeterminateSystems/nix-installer-action@main"
-      - uses: "DeterminateSystems/flakehub-push@main"
-        with:
-          visibility: "public"
-          name: "sellout/yaya"
-          tag: "${{ inputs.tag }}"