about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorBenedikt Peetz <benedikt.peetz@b-peetz.de>2025-02-04 17:27:22 +0100
committerBenedikt Peetz <benedikt.peetz@b-peetz.de>2025-02-04 17:27:22 +0100
commitf8a2ff0df34c5f6e4c748f79bdb108c471d910ec (patch)
treeec46184f6b9d75a37ec2a3f53a8f07a7d756c1fc
parentbuild(.envrc): Stop fetching the remote on shell startup (diff)
downloadpgp-wkd-f8a2ff0df34c5f6e4c748f79bdb108c471d910ec.zip
build(cog.toml): Remove cocogitto
There is no real reason to provide releases for a static file hosting
like this.
Diffstat (limited to '')
-rw-r--r--cog.toml20
-rw-r--r--flake.nix2
2 files changed, 0 insertions, 22 deletions
diff --git a/cog.toml b/cog.toml
deleted file mode 100644
index b9c8110..0000000
--- a/cog.toml
+++ /dev/null
@@ -1,20 +0,0 @@
-tag_prefix = "v"
-branch_whitelist = ["main", "prime"]
-ignore_merge_commits = false
-
-pre_bump_hooks = [
-  "nix flake check",                     # verify the project builds
-  "./scripts/renew_copyright_header.sh", # update the license header in each file
-  "nix fmt",                             # format
-]
-post_bump_hooks = [
-  "git push",
-  "git push origin v{{version}}", # push the new tag to origin
-]
-
-[changelog]
-path = "NEWS.md"
-template = "remote"
-remote = "codeberg.org"
-repository = "gpg_wkd"
-owner = "vhack.eu"
diff --git a/flake.nix b/flake.nix
index bc8eedb..d9b4673 100644
--- a/flake.nix
+++ b/flake.nix
@@ -48,8 +48,6 @@
 
       devShells.default = pkgs.mkShell {
         packages = with pkgs; [
-          cocogitto
-
           licensure
         ];
       };