Replies: 1 comment 2 replies
-
Since I've kinda rewritten history we would probably have to manually apply the patch manually since the 2 repos trees are diverted |
Beta Was this translation helpful? Give feedback.
2 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I think we could start merging PRs and fixing Issues. However how do we merge stuff from the old repo? Do we transfer the PRs and review stuff or do we just do a direct commit?
Beta Was this translation helpful? Give feedback.
All reactions