Stream: git-wasmtime

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

Wasmtime GitHub notifications bot (Jun 25 2020 at 18:57):

alexcrichton opened PR #1924 from rename to main:

• This PR is against a branch called main
• Internally all docs/CI/etc is updated
• The default branch of the repo is now main
• All active PRs have been updated to retarget main

Closes #1914

Wasmtime GitHub notifications bot (Jun 25 2020 at 18:59):

sunfishcode submitted PR Review.

Wasmtime GitHub notifications bot (Jun 25 2020 at 19:03):

alexcrichton merged PR #1924.

Last updated: Nov 22 2024 at 16:03 UTC