[docs] Git push-option documentation anchor seems to have changed.
What does this MR do?
This is a minor improvement: Fixes URL to Git push-option documentation anchor, which changed #git-push--oltoptiongt
to #Documentation/git-push.txt--oltoptiongt
Here is the full new link: https://git-scm.com/docs/git-push#Documentation/git-push.txt--oltoptiongt
Related issues
Author's checklist
-
Follow the Documentation Guidelines and Style Guide. -
Link docs to and from the higher-level index page, plus other related docs where helpful. -
Apply the ~Documentation label.
Review checklist
All reviewers can help ensure accuracy, clarity, completeness, and adherence to the Documentation Guidelines and Style Guide.
1. Primary Reviewer
-
Review by a code reviewer or other selected colleague to confirm accuracy, clarity, and completeness. This can be skipped for minor fixes without substantive content changes.
2. Technical Writer
-
Optional: Technical writer review. If not requested for this MR, must be scheduled post-merge. To request for this MR, assign the writer listed for the applicable DevOps stage.
3. Maintainer
-
Review by assigned maintainer, who can always request/require the above reviews. Maintainer's review can occur before or after a technical writer review. -
Ensure a release milestone is set and that you merge the equivalent EE MR before the CE MR if both exist. -
If there has not been a technical writer review, create an issue for one using the Doc Review template.
Merge request reports
Activity
added Community contribution label
added 1st contribution label
added devopsverify documentation + 1 deleted label
@harald.reingruber thanks for your first MR!
mentioned in commit ae8cbffa
Thanks @harald.reingruber. Very much appreciated
assigned to @eread
changed milestone to %11.10
mentioned in issue gitlab-org/release/tasks#731 (closed)