diff --git a/github_settings.xml b/github_settings.xml deleted file mode 100644 index 0e4cecb1ec..0000000000 --- a/github_settings.xml +++ /dev/null @@ -1,5 +0,0 @@ - - - - \ No newline at end of file