Stream: git-wasmtime

Topic: wasmtime / PR #1924 Rename the `master` branch to `main`


view this post on Zulip Wasmtime GitHub notifications bot (Jun 25 2020 at 18:57):

alexcrichton opened PR #1924 from rename to main:

Closes #1914

view this post on Zulip Wasmtime GitHub notifications bot (Jun 25 2020 at 18:59):

sunfishcode submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 25 2020 at 19:03):

alexcrichton merged PR #1924.


Last updated: Dec 23 2024 at 13:07 UTC