fix(validator,verifier): delete some minor duplicated documents #1001
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Signed-off-by: Takuma TAKEUCHI <takeuchi.takuma@fujitsu.com>
takeutak
changed the title
petermetz
approved these changes
Jun 1, 2021
|
@petermetz It is inefficient to apply CI check tool to pull request of minor change of document. I need to run the CI check tool every time a pull-request is merged. I am waiting for several hours for the CI check tool to complete its operation in order to merge this small pull-requests. I think this situation will significantly impede the development efficiency in Cactus. I have written a solution in the issue below, could you consider it? #1014 |
|
@takeutak I agree completely and definitely understand the pain of not being able to merge documentation only pull requests in a timely manner. I have one for example that's been waiting for review for one thousand eight hundred and sixty-one hours. :-) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
Resolve #1002
Signed-off-by: Takuma TAKEUCHI takeuchi.takuma@fujitsu.com