Skip to content

Commit 4aaeef1

Browse files
committed
Add docs
1 parent 58054df commit 4aaeef1

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed

CONTRIBUTING.md

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -116,6 +116,19 @@ to run the other checks while ignoring the ui output, use `MIRI_SKIP_UI_CHECKS=1
116116

117117
For more info on how to configure ui tests see [the documentation on the ui test crate][ui_test]
118118

119+
If you change the `ui_test` crate and want to sync with the official repository, you can use
120+
121+
```
122+
git remote add ui_test path_to_your_github_fork
123+
git remote add ui_test_upstream https://github.com/oli-obk/ui_test.git
124+
125+
# get new changes
126+
git subtree pull --prefix=ui_test ui_test_upstream main
127+
128+
# push your local changes
129+
git subtree push --prefix=ui_test ui_test a_new_branch_name
130+
```
131+
119132
[ui_test]: ui_test/README.md
120133

121134
### Testing `cargo miri`

0 commit comments

Comments
 (0)