Devin で GitHub ユーザー名を使用した PR 作成が可能に
Devin が開発者の GitHub ユーザー名を使用して PR を作成する機能を追加。この機能はデフォルトでオフに設定されており、GitHub の Integrations ページにある「PR Author」から選択可能。
設定は組織の全メンバーに適用され、管理者のみ変更可能。従来は Devin の名前で PR が作成されていたが、この機能により開発者自身の名前で PR を作成することが可能。
入力して検索を開始
Devin が開発者の GitHub ユーザー名を使用して PR を作成する機能を追加。この機能はデフォルトでオフに設定されており、GitHub の Integrations ページにある「PR Author」から選択可能。
設定は組織の全メンバーに適用され、管理者のみ変更可能。従来は Devin の名前で PR が作成されていたが、この機能により開発者自身の名前で PR を作成することが可能。