ingres: overlay: Set default Settings.Global.DEVICE_NAME according to MIUI
MIUI uses ro.product.vendor.marketname for default device name.
diff --git a/overlay/SettingsProvider/AndroidManifest.xml b/overlay/SettingsProvider/AndroidManifest.xml
new file mode 100644
index 0000000..1115ea2
--- /dev/null
+++ b/overlay/SettingsProvider/AndroidManifest.xml
@@ -0,0 +1,10 @@
+<!--
+     Copyright (C) 2025 The LineageOS Project
+     SPDX-License-Identifier: Apache-2.0
+-->
+<manifest xmlns:android="http://schemas.android.com/apk/res/android"
+    package="com.android.providers.settings.overlay.ingres">
+    <overlay android:targetPackage="com.android.providers.settings"
+                   android:isStatic="true"
+                   android:priority="700"/>
+</manifest>