Add Stephanie Bodoff to AUTHORS

[ghost]

Release note: None

[cockroach-teamcity]

This change is 

[jlinder]

Hi Stephanie. Can you merge your commits into a single commit and then force-push to the branch? This will make it so the PR will follow our philosophy for how we write commits.

[ghost]

Hi Stephanie. Can you merge your commits into a single commit and then force-push to the branch? This will make it so the PR will follow our philosophy for how we write commits.

Hi Stephanie. Can you merge your commits into a single commit and then force-push to the branch? This will make it so the PR will follow our philosophy for how we write commits.

I'm used to squashing multiple commits into a single commit in the merge itself. I don't know how to do what you are asking. Could you help me with the procedure.

[ghost]

Hi Stephanie. Can you merge your commits into a single commit and then force-push to the branch? This will make it so the PR will follow our philosophy for how we write commits.

Hi Stephanie. Can you merge your commits into a single commit and then force-push to the branch? This will make it so the PR will follow our philosophy for how we write commits.

I'm used to squashing multiple commits into a single commit in the merge itself. I don't know how to do what you are asking. Could you help me with the procedure.

Nevermind. The docs team has instructions for this. I'll apply those.

[jlinder]

Apologies for not including info on how to fix this earlier. Here's how to fix it:

1. Get your local branch to have only one commit that contains the subject line, the Release justification line and the Release note line. If your local branch looks like the branch that is in the PR, then you'll likely need to run git reset HEAD^ to get the commit 08727ee to be the branch head. Then amend the commit with git commit --amend to change the commit message.
2. Push the new branch head to your remote with git push --force-with-lease FORK_NAME stephaniebodoff_authors

[ghost]

@jlinder I believe this is fixed now.

[jlinder]

Indeed!

Reviewed 1 of 1 files at r1, all commit messages.
Reviewable status: complete! 1 of 0 LGTMs obtained (waiting on @stbof)

[jlinder]

bors r+

[craig]

Build succeeded:

• GitHub CI (Cockroach)