Workflow: Check if README.md
and docs/README.md
are in sync
#2755
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
📑 Summary
This PR adds a GitHub workflow that checks if
README.md
anddocs/README.md
have the same content.This is part of issue #2456. (Documentation section)
📏 Design Decisions
About workflow's triggers
In the contribution guide, it said that documentation-related changes can be committed directly to the
develop
branch.So I made this workflow to target
push
andpull_request
events for bothmaster
anddevelop
branches.Possible improvements (for another PR)
README.md
is newer so it's easier to sync bothREADME.md
files.a. still don't have a concrete idea on how to determine if one
README.md
is newer than the othera. this information might be available from
git log
orgit blame
README.md
anddocs/README.md
as a part of the workflow.a. it might be possible to automatically apply the changes to either one of the READMEs.
CHANGELOG.md
anddocs/CHANGELOG.md
have the same content.📋 Tasks
Make sure you
develop
branch