Add Krovatkin to symbolic-shapes team

[ezyang]

Stack from ghstack (oldest at bottom):

• -> Add Krovatkin to symbolic-shapes team #85422
• Typofix #85421

Signed-off-by: Edward Z. Yang ezyang@fb.com

[pytorch-bot]

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/85422

• 📄 Preview Python docs built from this PR
• 📄 Preview C++ docs built from this PR
• ❓ Need help or want to give feedback on the CI? Visit our office hours

Note: Links to docs will display an error until the docs builds have been completed.

❌ 1 Failures

As of commit d8292a2:

The following jobs have failed:

• linux-bionic-cuda11.6-py3.10-gcc7 / test (functorch, 1, 1, linux.4xlarge.nvidia.gpu)

This comment was automatically generated by Dr. CI and updates every 15 minutes.

[ezyang]

@pytorchbot merge -f "fixed"

[pytorch-bot]

You need to provide a reason for using force merge, in the format @pytorchbot merge -f 'Explanation'.
The explanation needs to be clear on why this is needed. Here are some good examples:

• Bypass checks due to unrelated upstream failures from ...
• This is a minor fix to ..., which shouldn't break anything
• This is pre-tested in a previous CI run
• Bypass flaky ... check

[ezyang]

@pytorchbot merge -f "low risk pr that doesn't need to wait for ci"

[pytorchmergebot]

@pytorchbot successfully started a merge job. Check the current status here.
The merge job was triggered with the force (-f) flag. This means your change will be merged immediately, bypassing any CI checks (ETA: 1-5 minutes). If this is not the intended behavior, feel free to use some of the other merge options in the wiki.
Please reach out to the PyTorch DevX Team with feedback or questions!