GitHub (Feb 28 2020 at 23:37): GitHub (Feb 28 2020 at 23:37):alexcrichton commented on Issue #1392:
Thanks for the PR again, and as a procedural note the Cranelift repository has now merged into the wasmtime repository.
PRs are no longer landing in this repository, and unfortunately there's no "one button" solution to move a PR to the wasmtime repository. A script has been prepared, however, to assist you in transferring this PR to the wasmtime repo. Feel free to reach out on Zulip with any questions!
GitHub (Mar 05 2020 at 15:33):bnjbvr commented on Issue #1392:
Hey @timClicks, would you be interested in using Alex's script to rebase this PR over to wasmtime?
GitHub (Jun 26 2020 at 13:19):tschneidereit commented on Issue #1392:
We'll archive this repository in favor of the Wasmtime repository — see Alex's comment about the merge above. I'm closing this PR now in order to have an explanation in a comment before archiving the repo auto-closes all PRs.
Last updated: Nov 22 2024 at 16:03 UTC