Во-первых, каков результат git branch -a на машине B?

Во-вторых, вы уже удалили head / devel на origin , поэтому вы не можете удалить его с машины B.

Попробуйте

git branch -r -d origin/devel

,

git remote prune origin

или

git fetch origin --prune

и не стесняйтесь добавлять - dry-run до конца вашего оператора git , чтобы увидеть результат его выполнения без фактического запуска.

Документы для git remote prune и git branch .