You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
## Migrating a Pull Request (PR) from the Julia repository to this repository
15
-
16
-
Since this package was split out from the main Julia repository, you might have previously made a pull request (PR) to the Julia repo. You can easily migrate such PRs to this repository using the following steps:
17
-
18
-
1. Add the Julia repository (or your fork) as a new remote repository:
3. Cherry-pick the relevant commits made in the Julia repository to this repository:
29
-
```bash
30
-
git cherry-pick $JULIA_COMMIT
31
-
```
32
-
33
14
## Using development versions of this package
34
15
35
16
This package performs some type piracy and is also included in the sysimage, which makes using a development version slightly more complex than usual.
@@ -79,3 +60,22 @@ To use a development version of this package, you can choose one of the followin
79
60
```bash
80
61
julia -Jnew_sysimage.so
81
62
```
63
+
64
+
## Migrating a Pull Request (PR) from the Julia repository to this repository
65
+
66
+
Since this package was split out from the main Julia repository, you might have previously made a pull request (PR) to the Julia repo. You can easily migrate such PRs to this repository using the following steps:
67
+
68
+
1. Add the Julia repository (or your fork) as a new remote repository:
0 commit comments