Skip to content

Conversation

@Floppy
Copy link
Collaborator

@Floppy Floppy commented Oct 17, 2025

This will also get the bot up and running for future additions

@Floppy Floppy added the documentation Improvements or additions to documentation label Oct 17, 2025
Copy link

@accesslint accesslint bot left a comment

Choose a reason for hiding this comment

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

There are accessibility issues in these changes.

Copy link

@accesslint accesslint bot left a comment

Choose a reason for hiding this comment

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

There are accessibility issues in these changes.

@ericherman
Copy link

Thank you.

@codacy-production
Copy link

codacy-production bot commented Oct 17, 2025

Coverage summary from Codacy

See diff coverage on Codacy

Coverage variation Diff coverage
+0.00% (target: -1.00%)
Coverage variation details
Coverable lines Covered lines Coverage
Common ancestor commit (780027e) 5330 4484 84.13%
Head commit (36307ce) 5330 (+0) 4484 (+0) 84.13% (+0.00%)

Coverage variation is the difference between the coverage for the head and common ancestor commits of the pull request branch: <coverage of head commit> - <coverage of common ancestor commit>

Diff coverage details
Coverable lines Covered lines Diff coverage
Pull request (#4842) 0 0 ∅ (not applicable)

Diff coverage is the percentage of lines that are covered by tests out of the coverable lines that the pull request added or modified: <covered lines added or modified>/<coverable lines added or modified> * 100%

See your quality gate settings    Change summary preferences

@Floppy Floppy merged commit 3483ba6 into main Oct 17, 2025
17 checks passed
@Floppy Floppy deleted the all-contributors branch October 17, 2025 16:23
@github-project-automation github-project-automation bot moved this from Maybe to Done in Manyfold Roadmap Oct 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants