Skip to content

Link fix: Link to "is empty" not "empty" when an adjective is intended - #708

Merged
fdwr merged 2 commits into
webmachinelearning:mainfrom
inexorabletash:fix-is-empty-link
Jun 17, 2024
Merged

Link fix: Link to "is empty" not "empty" when an adjective is intended#708
fdwr merged 2 commits into
webmachinelearning:mainfrom
inexorabletash:fix-is-empty-link

Conversation

@inexorabletash

@inexorabletash inexorabletash commented Jun 13, 2024

Copy link
Copy Markdown
Contributor

The Infra term "list/empty" is a verb (to empty); link to "list/is empty" when that's what is intended.


Preview | Diff

The Infra term "list/empty" is a verb (to empty); link to "list/is
empty" when that's what is intended.
@inexorabletash
inexorabletash requested review from fdwr and huningxin June 13, 2024 14:56
@inexorabletash

Copy link
Copy Markdown
Contributor Author

@fdwr and @huningxin - please take a look?

@huningxin huningxin left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM with a question, thanks!

Comment thread tools/lint.mjs Outdated
Comment thread index.bs Outdated
@inexorabletash inexorabletash changed the title Link fix: Link to "is empty" not "empty" when a noun is intended Link fix: Link to "is empty" not "empty" when an adjective is intended Jun 14, 2024
noun to adjective and is not empty text.
@inexorabletash

Copy link
Copy Markdown
Contributor Author

Thanks for updating - LGTM to merge

@fdwr
fdwr merged commit 073ce7e into webmachinelearning:main Jun 17, 2024
github-actions Bot added a commit that referenced this pull request Jun 17, 2024
#708)

SHA: 073ce7e
Reason: push, by fdwr

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@inexorabletash
inexorabletash deleted the fix-is-empty-link branch June 17, 2024 18:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants