Stream: git-wasmtime

Topic: wasmtime / PR #2663 Automatically add wasmtime-publish te...

view this post on Zulip Wasmtime GitHub notifications bot (Feb 18 2021 at 15:48):

alexcrichton opened PR #2663 from add-team-publish to main:

This updates the publication script we have for crates to ensure that
the wasmtime-publish GitHub team is added to all crates published.
This will fail for most publications because the team is already listed,
but the hope is that whomever is publishing can see the logs and catch
anything that looks awry.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 18 2021 at 16:34):

alexcrichton updated PR #2663 from add-team-publish to main.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 18 2021 at 16:39):

sunfishcode submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 18 2021 at 16:39):

sunfishcode created PR Review Comment:

typo: "onwer" -> "owner"

view this post on Zulip Wasmtime GitHub notifications bot (Feb 18 2021 at 17:38):

alexcrichton updated PR #2663 from add-team-publish to main.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 18 2021 at 17:49):

alexcrichton submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 18 2021 at 17:49):

alexcrichton created PR Review Comment:

Oops, fixed now

view this post on Zulip Wasmtime GitHub notifications bot (Feb 18 2021 at 17:55):

sunfishcode submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 18 2021 at 18:34):

alexcrichton merged PR #2663.

Last updated: Oct 23 2024 at 20:03 UTC