From 9565dd5d308cbf7413eaa62f47bbea42fd10e153 Mon Sep 17 00:00:00 2001
From: Makai <m4kai410@gmail.com>
Date: Wed, 20 Aug 2025 20:12:07 +0800
Subject: [PATCH] add josh-sync configuration and CI

---
 .github/workflows/rustc_pull.yml | 18 ++++++++++++++++++
 josh-sync.toml                   |  3 +++
 rust-version                     |  1 +
 3 files changed, 22 insertions(+)
 create mode 100644 .github/workflows/rustc_pull.yml
 create mode 100644 josh-sync.toml
 create mode 100644 rust-version

diff --git a/.github/workflows/rustc_pull.yml b/.github/workflows/rustc_pull.yml
new file mode 100644
index 0000000..37dd307
--- /dev/null
+++ b/.github/workflows/rustc_pull.yml
@@ -0,0 +1,18 @@
+name: rustc-pull
+
+on:
+  workflow_dispatch:
+  schedule:
+    # Run at 04:00 UTC every day
+    - cron: "0 4 * * *"
+
+jobs:
+  pull:
+    if: github.repository == 'rust-lang/project-stable-mir'
+    uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@main
+    with:
+      github-app-id: ${{ vars.APP_CLIENT_ID }}
+      pr-base-branch: main
+      branch-name: rustc-pull
+    secrets:
+      github-app-secret: ${{ secrets.APP_PRIVATE_KEY }}
diff --git a/josh-sync.toml b/josh-sync.toml
new file mode 100644
index 0000000..5e693f1
--- /dev/null
+++ b/josh-sync.toml
@@ -0,0 +1,3 @@
+org = "rust-lang"
+repo = "project-stable-mir"
+filter = ":/compiler/rustc_public:prefix=rustc_public"
diff --git a/rust-version b/rust-version
new file mode 100644
index 0000000..31ec7b0
--- /dev/null
+++ b/rust-version
@@ -0,0 +1 @@
+bec747418c9955de4c3fd0aac4acb99206f00aa2