This article has moved to /blog/devtools-ai-ops/misc/ai-ide-pull-request/.