Как правильно работать с веткой после git push --force?
Неужели git fetch; git checkout origin/somedevel ?
ну или git fetch && git reset origin somedevel --hard
вы же понимаете что --force это... не хорошо.
Попытайтесь чуть перестроить свой подход разработки так что бы не приходилось делать push --force (хотя в принципе плохого в этом ничего нет, при вашем флоу). Вы тип постоянно ветки друг дружки ребейзите?
вам не стоило делать автодеплой с веток, гораздо удобнее выло бы деплоить произвольную ветку с произвольным коммитом.