Stream: git-wasmtime

Topic: wasmtime / PR #4388 Remove meetings agendas/minutes (move...


view this post on Zulip Wasmtime GitHub notifications bot (Jul 05 2022 at 21:15):

cfallin requested alexcrichton for a review on PR #4388.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 05 2022 at 21:15):

cfallin opened PR #4388 from meetings-have-been-moved to main:

This PR removes all minutes and agendas in meetings/. These were
previously hosted in this repository, but we found that it makes things
somewhat more complex with respect to CI configuration and merge
permissions to have both small, CI-less changes to the text in
meetings/ as well as changes to everything else in one repository.

The minutes and agendas have been split out into the repository at
https://github.com/bytecodealliance/meetings/, with all history
preserved. Future agenda additions and minutes contributions should go
there as PRs.

Finally, this PR adds a small note to our "Contributing" doc to note the
existence of the meetings and invite folks to ask to join if interested.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Jul 05 2022 at 21:16):

cfallin updated PR #4388 from meetings-have-been-moved to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 05 2022 at 21:16):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 05 2022 at 23:06):

cfallin merged PR #4388.


Last updated: Nov 22 2024 at 16:03 UTC