From f88402d5a7085697e8a2953428e66b9d8b420785 Mon Sep 17 00:00:00 2001
From: Austin Horstman <khaneliman12@gmail.com>
Date: Sun, 15 Sep 2024 10:21:03 -0500
Subject: [PATCH] plugins/coq-thirdparty: remove copilot

Pulled functionality into main
---
 plugins/by-name/coq-thirdparty/default.nix                   | 5 -----
 .../test-sources/plugins/by-name/coq-thirdparty/default.nix  | 5 -----
 2 files changed, 10 deletions(-)

diff --git a/plugins/by-name/coq-thirdparty/default.nix b/plugins/by-name/coq-thirdparty/default.nix
index 88b51068..657246f0 100644
--- a/plugins/by-name/coq-thirdparty/default.nix
+++ b/plugins/by-name/coq-thirdparty/default.nix
@@ -57,11 +57,6 @@ in
           src = "vimtex";
           short_name = "vTEX";
         }
-        {
-          src = "copilot";
-          short_name = "COP";
-          accept_key = "<c-f>";
-        }
         { src = "demo"; }
       ];
     };
diff --git a/tests/test-sources/plugins/by-name/coq-thirdparty/default.nix b/tests/test-sources/plugins/by-name/coq-thirdparty/default.nix
index 49bc402a..e89709b8 100644
--- a/tests/test-sources/plugins/by-name/coq-thirdparty/default.nix
+++ b/tests/test-sources/plugins/by-name/coq-thirdparty/default.nix
@@ -17,11 +17,6 @@
           src = "vimtex";
           short_name = "vTEX";
         }
-        {
-          src = "copilot";
-          short_name = "COP";
-          accept_key = "<c-f>";
-        }
         { src = "demo"; }
       ];
     };