Keep less secrets

Make app & installation id public: they're like a name, which it only used to identify. The corresponding authentication happens via JWT (using a private key), and that is NOT public.
opwvhk · Mar 22, 2024 · 49e0dc6 · 49e0dc6
1 parent 9e22bf2
commit 49e0dc6
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 5 deletions.
diff --git a/.gitignore b/.gitignore
@@ -5,6 +5,5 @@
 .gradle
 build
 # Plugin specific
-github.properties
 *.pem
 *.der
diff --git a/src/main/resources/META-INF/github.properties b/src/main/resources/META-INF/github.properties
@@ -0,0 +1,4 @@
+# suppress inspection "UnusedProperty" for whole file
+key_file=avro-support-error-reporter.2024-03-21.private-key.der
+app_id=860262
+inst_id=48720420
diff --git a/src/main/resources/META-INF/github.sample.properties b/src/main/resources/META-INF/github.sample.properties