Skip to content

Fix some spelling/formatting - #1

Merged
kratsg merged 2 commits into
Democratizing-Models:mainfrom
AntonReinhard:spelling
Jan 7, 2026
Merged

Fix some spelling/formatting#1
kratsg merged 2 commits into
Democratizing-Models:mainfrom
AntonReinhard:spelling

Conversation

@AntonReinhard

Copy link
Copy Markdown
Contributor

Some of the **thing** formatting isn't rendered correctly when there is more text without a space after it, but idk how to fix that.
Once in the about.*.md for the FAIR list, and once in the member list

@mmikhasenko
mmikhasenko requested a review from kratsg January 6, 2026 22:01
@mmikhasenko

Copy link
Copy Markdown

Looks ok to me,
thanks @AntonReinhard

@AntonReinhard

Copy link
Copy Markdown
Contributor Author

The deployment won't work on this PR because the branch is coming from my fork. The PRs probably shouldn't deploy anyway.

@kratsg

kratsg commented Jan 7, 2026

Copy link
Copy Markdown
Collaborator

We can have docs deploy skip based on origin branch. I'd just recommend making branches from this repo instead of forking.

@kratsg

kratsg commented Jan 7, 2026

Copy link
Copy Markdown
Collaborator

@mmikhasenko I can't merge -- so I don't have permissions.

@AntonReinhard

Copy link
Copy Markdown
Contributor Author

We can have docs deploy skip based on origin branch. I'd just recommend making branches from this repo instead of forking.

I like forking because it scales better for many contributors and doesn't clutter the main repository with feature branches which are also prone to being forgotten to be deleted once they've been merged.
Also it excludes collaboration from people who don't have access rights to the repository.

@kratsg

kratsg commented Jan 7, 2026

Copy link
Copy Markdown
Collaborator

feature branches which are also prone to being forgotten to be deleted once they've been merged.

github has an option that auto-deletes branches that get merged in. I'm not too worried here (either way is fine with me).

@kratsg

kratsg commented Jan 7, 2026

Copy link
Copy Markdown
Collaborator

29d2ff5 should be done in a separate PR and not part of this one.

@mmikhasenko

Copy link
Copy Markdown

@kratsg added you as admin. Sorry for the troubles

@AntonReinhard

AntonReinhard commented Jan 7, 2026

Copy link
Copy Markdown
Contributor Author

Ok, done in #3
edit: Oh you already did it too, sorry 😅

@kratsg
kratsg merged commit d72db6e into Democratizing-Models:main Jan 7, 2026
2 checks passed
@AntonReinhard
AntonReinhard deleted the spelling branch January 7, 2026 22:55
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