Minor documentation fix for broken anchor link

[fritz-gerneth]

Just some random broken link :)

[clue]

@fritz-gerneth Thanks for looking into this!

This repo is still on travis-co.org instead of .com. We will likely migrate to GitHub actions soon, so I don't think it makes sense to get this change in as-is.

The other documentation change LGTM. Perhaps you can amend your changes to only fix this link? 👍

[fritz-gerneth]

Travis link is reverted now.

[clue]

@fritz-gerneth Thanks for the update! May I ask you to squash your changes into one commit?

$ GIT_SEQUENCE_EDITOR="sed -i -re 's/^pick (d13976a)/fixup \1/'" git rebase -i HEAD~2

[fritz-gerneth]

It won't alllow me to rewrite published commits. Not sure if GitHub can squash merges. We can use this branch instead if it suits better.

[clue]

@fritz-gerneth This should be possible via normal git operations with a rebase (see above) and a force push.

As a suggestion, we can also schedule a short 15-20 minute call on Zoom. That should be enough to get your problem out of the way so we can make further progress. We live and love open-source, so we offer such calls from time to time to help out where possible. Just drop me a quick mail if you're interested.

[fritz-gerneth]

Appreciate the offer apologies for the long delay here. This is now corrected & rebased.

[clue]

@fritz-gerneth Thanks for the update, changes LGTM! 👍