Skip to content

fix: remove stale "contains" docs on rfc-index sync#9049

Merged
rjsparks merged 4 commits intoietf-tools:mainfrom
jennifer-richards:sync-subseries-removal
Jun 24, 2025
Merged

fix: remove stale "contains" docs on rfc-index sync#9049
rjsparks merged 4 commits intoietf-tools:mainfrom
jennifer-richards:sync-subseries-removal

Conversation

@jennifer-richards
Copy link
Copy Markdown
Member

Due to a typo / variable naming issue, a document no longer contained by a subseries doc was removed from the wrong subseries_doc.

Fixes #7244

@codecov
Copy link
Copy Markdown

codecov Bot commented Jun 24, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 88.71%. Comparing base (18cea10) to head (ff3514e).
Report is 9 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #9049      +/-   ##
==========================================
- Coverage   88.71%   88.71%   -0.01%     
==========================================
  Files         320      321       +1     
  Lines       41793    41822      +29     
==========================================
+ Hits        37078    37102      +24     
- Misses       4715     4720       +5     

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

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

@rjsparks rjsparks merged commit ec3aec1 into ietf-tools:main Jun 24, 2025
10 checks passed
@jennifer-richards jennifer-richards deleted the sync-subseries-removal branch June 24, 2025 17:56
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Jun 28, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Updating a subseries when one of its RFCs has been obsoleted

2 participants