Stream: git-wasmtime

Topic: wasmtime / PR #2152 Update renamed document lint for brok...


view this post on Zulip Wasmtime GitHub notifications bot (Aug 20 2020 at 20:08):

jlb6740 opened PR #2152 from rename_intra_doc_link_resolution_failure_lint_attribute to main:

Renames intra_doc_link_resolution_failure to broken_intra_doc_links

<!--

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 (Aug 20 2020 at 20:10):

jlb6740 requested alexcrichton and cfallin for a review on PR #2152.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 20 2020 at 20:10):

jlb6740 requested alexcrichton and cfallin for a review on PR #2152.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 20 2020 at 20:37):

alexcrichton submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 20 2020 at 20:48):

jlb6740 updated PR #2152 from rename_intra_doc_link_resolution_failure_lint_attribute to main:

Renames intra_doc_link_resolution_failure to broken_intra_doc_links

<!--

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 (Aug 20 2020 at 21:24):

jlb6740 merged PR #2152.


Last updated: Dec 23 2024 at 13:07 UTC