Skip to content

Fix dotnet "dotenet" typo#1687

Closed
antoniozh wants to merge 1 commit into
analysis-tools-dev:masterfrom
antoniozh:master
Closed

Fix dotnet "dotenet" typo#1687
antoniozh wants to merge 1 commit into
analysis-tools-dev:masterfrom
antoniozh:master

Conversation

@antoniozh

Copy link
Copy Markdown
  • I have not changed the README.md directly.

@antoniozh antoniozh closed this Aug 22, 2025
@mre

mre commented Aug 22, 2025

Copy link
Copy Markdown
Member

I think that was a solid PR. Why did you close it? That said, the source of truth are the yaml files in the project. I've fixed in the yaml file now.

4bec6a4

@antoniozh

antoniozh commented Aug 22, 2025

Copy link
Copy Markdown
Author

Hi, I wanted to fix it properly so I closed it and wanted to make a new PR. You were so fast!

Edit: By the way, I just noticed I read your blogs few years ago, it were some very interesting reads

@mre

mre commented Aug 22, 2025

Copy link
Copy Markdown
Member

Whoopsie. 😅 There's always more stuff to work on, though.

For example, I'd love if somebody could create new pull requests for those tools:

@mre

mre commented Aug 22, 2025

Copy link
Copy Markdown
Member

Also created another issue for fixing the broken links here.

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.

2 participants