Please check if the PR fulfills these requirements
[x] The commit message follows our guidelines
[ ] Tests for the changes have been added (for bug fixes / features)
[ ] Docs have been added / updated (for bug fixes / features)
Does this PR already have an issue describing the problem?
No
What kind of change does this PR introduce?
Docs update
What is the current behavior?
In the release strategy doc, some git commit operations are performed without adding the corresponding files.
What is the new behavior (if this is a feature change)?
A -a option ("automatically stage files that have been modified") is added to these commit instructions.
Does this PR introduce a breaking change or deprecate an API?
Please check if the PR fulfills these requirements
Does this PR already have an issue describing the problem?
No
What kind of change does this PR introduce?
Docs update
What is the current behavior?
In the release strategy doc, some
git commitoperations are performed without adding the corresponding files.What is the new behavior (if this is a feature change)? A
-aoption ("automatically stage files that have been modified") is added to these commit instructions.Does this PR introduce a breaking change or deprecate an API?
Other information: