Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix broken links #52

Merged
merged 2 commits into from
Jun 25, 2024
Merged

Fix broken links #52

merged 2 commits into from
Jun 25, 2024

Conversation

dscho
Copy link
Contributor

@dscho dscho commented Jun 11, 2024

In #51, three anchors were broken inadvertently. This PR fixes them again.

/cc @murat-yasar

In
progit@357db9d#diff-ef001a8fe03c386785e0861e40f85c0db419ea4bf1227a992e163b52f475f82dL450-R449
the anchor was changed from `_changing_multiple` to `_change_multiple`,
breaking the link. Let's change it back to unbreak it.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
In
progit@e810e04,
these three anchors were changed from starting with a lower-case `p` to
an upper-case `P`, breaking the links in the process. Let's downcase
them again to unbreak them.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
@dscho
Copy link
Contributor Author

dscho commented Jun 19, 2024

Ping?

@dscho
Copy link
Contributor Author

dscho commented Jun 24, 2024

@gokaygurcan ping?

@gokaygurcan gokaygurcan merged commit 07ba39f into progit:master Jun 25, 2024
@gokaygurcan
Copy link
Member

Thanks!

@dscho dscho deleted the fix-broken-links branch June 25, 2024 20:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants