Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Revise devdocs on parents #1790

Merged
merged 1 commit into from
Jun 12, 2024
Merged

Revise devdocs on parents #1790

merged 1 commit into from
Jun 12, 2024

Conversation

fingolfin
Copy link
Member

Inspired by @lgoettgens I looked for other occurrences of PolyRing and discovered this text which just didn't match reality anymore, or how we decided to handle things.

So I rewrote large chunks of it. Not saying it is great, but hopefully at least less misleading...?

@fingolfin fingolfin requested review from fieker and thofma June 12, 2024 15:29
Copy link

codecov bot commented Jun 12, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 85.90%. Comparing base (9448692) to head (e8baaf3).

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #1790   +/-   ##
=======================================
  Coverage   85.90%   85.90%           
=======================================
  Files          95       95           
  Lines       36492    36492           
=======================================
  Hits        31347    31347           
  Misses       5145     5145           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@thofma thofma merged commit cceae26 into Nemocas:master Jun 12, 2024
26 checks passed
@fingolfin fingolfin deleted the mh/devdocs branch June 12, 2024 21:03
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