From b9e313f21057a5fe7918c039ec6c2c94b13c885f Mon Sep 17 00:00:00 2001
From: Andrew Eisenberg <aeisenberg@github.com>
Date: Mon, 19 Jun 2023 09:09:17 -0700
Subject: [PATCH] Move .codeqlmanifest.json to codeql-workspace.json

Semantically equivalent, but .codeqlmanifest.json is deprecated.
---
 .codeqlmanifest.json | 1 -
 codeql-workspace.yml | 2 ++
 2 files changed, 2 insertions(+), 1 deletion(-)
 delete mode 100644 .codeqlmanifest.json
 create mode 100644 codeql-workspace.yml

diff --git a/.codeqlmanifest.json b/.codeqlmanifest.json
deleted file mode 100644
index f4c1761..0000000
--- a/.codeqlmanifest.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "provide": [ "**" ] }
diff --git a/codeql-workspace.yml b/codeql-workspace.yml
new file mode 100644
index 0000000..718785e
--- /dev/null
+++ b/codeql-workspace.yml
@@ -0,0 +1,2 @@
+provide: 
+  - "**"