chore: Merge branch dev to main (#1729)

.github/workflows/open_pull_request.yml

@@ -0,0 +1,27 @@
+name: Open a PR to main
+
+on:
+  push:
+    branches:
+      - dev
+  workflow_dispatch:
+
+env:
+  MESSAGE: Merge branch `${{ github.head_ref || github.ref_name }}` to `main`
+
+jobs:
+  pull-request:
+    name: Open pull request
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Open pull request
+        uses: repo-sync/pull-request@v2
+        with:
+          destination_branch: 'main'
+          pr_title: 'chore: ${{ env.MESSAGE }}'
+          pr_body: |
+            This pull request will ${{ env.MESSAGE }}.
+          pr_draft: true

android/app/proguard-rules.pro

@@ -11,6 +11,7 @@
 -keep class com.google.auto.value.** { *; }
 -keep class com.android.apksig.internal.** { *; }
 -keepnames class com.google.common.collect.**
+-keepnames class org.xmlpull.** { *; }
 
 -dontwarn com.google.auto.value.**
 -dontwarn com.google.j2objc.annotations.*