Commit 5186f71
Add user-friendly descriptions for PR tools (#8514)
* Initial plan
* Initial plan for fixing PR tool descriptions
Co-authored-by: alexr00 <38270282+alexr00@users.noreply.github.com>
* Add user-friendly descriptions for PR tools
Co-authored-by: alexr00 <38270282+alexr00@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: alexr00 <38270282+alexr00@users.noreply.github.com>1 parent bfbc1ef commit 5186f71
2 files changed
+9
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3782 | 3782 | | |
3783 | 3783 | | |
3784 | 3784 | | |
| 3785 | + | |
3785 | 3786 | | |
3786 | 3787 | | |
3787 | 3788 | | |
| |||
3825 | 3826 | | |
3826 | 3827 | | |
3827 | 3828 | | |
3828 | | - | |
| 3829 | + | |
| 3830 | + | |
3829 | 3831 | | |
3830 | 3832 | | |
3831 | 3833 | | |
| |||
3861 | 3863 | | |
3862 | 3864 | | |
3863 | 3865 | | |
| 3866 | + | |
3864 | 3867 | | |
3865 | 3868 | | |
3866 | 3869 | | |
| |||
3887 | 3890 | | |
3888 | 3891 | | |
3889 | 3892 | | |
| 3893 | + | |
3890 | 3894 | | |
3891 | 3895 | | |
3892 | 3896 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
421 | 421 | | |
422 | 422 | | |
423 | 423 | | |
| 424 | + | |
424 | 425 | | |
425 | 426 | | |
| 427 | + | |
426 | 428 | | |
| 429 | + | |
427 | 430 | | |
428 | 431 | | |
429 | 432 | | |
430 | 433 | | |
| 434 | + | |
431 | 435 | | |
432 | 436 | | |
433 | 437 | | |
| |||
0 commit comments