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