Fix link to Thor's docs [ci-skip]

[jasonkarns]

Summary

Fix Broken link in docs to Thor

Other Information

[jonathanhefner]

@jasonkarns Would you mind squashing the commits? Then I'll give this a merge!

[jasonkarns]

@jonathanhefner i suppose. will need to get a clone of rails first. This PR was opened through github's UI. :/

Is it not possible for the person who merges to squash during merge?

[jonathanhefner]

@jasonkarns

Is it not possible for the person who merges to squash during merge?

Performing "Squash and merge" through the GitHub UI is different than squashing and then performing "Create a merge commit" through the GitHub UI. The latter creates a separate merge commit, which we prefer for bookkeeping and backporting.

I went ahead and checked out your branch, squashed, force pushed, and now merged.

Thank you for working on this!

(Backported to 7-0-stable in 54bd582.)

[jasonkarns]

Performing "Squash and merge" through the GitHub UI is different than squashing and then performing "Create a merge commit" through the GitHub UI. The latter creates a separate merge commit, which we prefer for bookkeeping and backporting.

Gotcha. With the squash recommendation, I assumed the aim was to avoid the merge commit entirely. Thank you for handling it on my behalf. (Bummer that github's suggestion UI doesn't allow amending. Kinda defeats the ability to use the UI alone for small edits like this.)

Again, thanks for doing the extra work!