Доработка в pull request другим разработчиком?
Я бы рекомендовал ответвиться от данной ветки, сделать доработку, выставить ПР обратно в ветку с первичной разработкой. И обновить ПР в дев потом
Вы всё правильно описали, так и делается.
git fetch # подгружаем актуальные ветки
git checkout -b feature origin/feature # распаковываем ветку
# дорабатываем
git push # обновляем чужой PR