Fix server_default annotation

[pquentin]

I found it by accidentally grepping for server_default in the output folder. This was added in #3462.

[github-actions]

Following you can find the validation results for the APIs you have changed.

API	Status	Request	Response
snapshot.cleanup_repository	🟢	3/3	3/3
snapshot.clone	🟢	5/5	5/5
snapshot.create_repository	🔴	24/29	29/29
snapshot.create	🟢	28/28	28/28
snapshot.delete_repository	🟢	10/10	10/10
snapshot.delete	🔴	21/23	23/23
snapshot.get_repository	🔴	19/19	7/19
snapshot.get	🟢	13/13	13/13
snapshot.repository_analyze	⚪	Missing test	Missing test
snapshot.repository_verify_integrity	⚪	Missing test	Missing test
snapshot.restore	🟢	5/5	5/5
snapshot.status	🟢	2/2	2/2
snapshot.verify_repository	🟢	2/2	2/2

You can validate these APIs yourself by using the make validate target.

[github-actions]

The backport to 8.x failed:

The process '/usr/bin/git' failed with exit code 1

To backport manually, run these commands in your terminal:

# Fetch latest updates from GitHub
git fetch
# Create a new working tree
git worktree add .worktrees/backport-8.x 8.x
# Navigate to the new working tree
cd .worktrees/backport-8.x
# Create a new branch
git switch --create backport-3624-to-8.x
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick -x --mainline 1 d967ed03d148bdb50dd34cb9dab1561a467faeae
# Push it to GitHub
git push --set-upstream origin backport-3624-to-8.x
# Go back to the original working tree
cd ../..
# Delete the working tree
git worktree remove .worktrees/backport-8.x

Then, create a pull request where the base branch is 8.x and the compare/head branch is backport-3624-to-8.x.

[github-actions]

The backport to 8.17 failed:

The process '/usr/bin/git' failed with exit code 1

To backport manually, run these commands in your terminal:

# Fetch latest updates from GitHub
git fetch
# Create a new working tree
git worktree add .worktrees/backport-8.17 8.17
# Navigate to the new working tree
cd .worktrees/backport-8.17
# Create a new branch
git switch --create backport-3624-to-8.17
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick -x --mainline 1 d967ed03d148bdb50dd34cb9dab1561a467faeae
# Push it to GitHub
git push --set-upstream origin backport-3624-to-8.17
# Go back to the original working tree
cd ../..
# Delete the working tree
git worktree remove .worktrees/backport-8.17

Then, create a pull request where the base branch is 8.17 and the compare/head branch is backport-3624-to-8.17.